Extend the memory main pool to that of a 64-bit system

Author: aboood40091

include/platform_info.h

@@ -10,6 +10,8 @@
 #define IS_BIG_ENDIAN (__BYTE_ORDER__ == __ORDER_BIG_ENDIAN__)
 #endif
 
-#define DOUBLE_SIZE_ON_64_BIT(size) ((size) * (sizeof(void *) / 4))
+// Using 8 here instead of sizeof(size_t) to ensure compatibility
+#define SIZEOF_POINTER (size_t)8
+#define DOUBLE_SIZE_ON_64_BIT(size) ((size) * (SIZEOF_POINTER / 4))
 
 #endif // PLATFORM_INFO_H

src/pc/pc_main.c

@@ -159,8 +159,8 @@ void main_func(void) {
     WHBLogPrint("Exception handler initialized.");
 #endif
 
-    static u64 pool[0x165000/8 / 4 * sizeof(void *)];
-    main_pool_init(pool, pool + sizeof(pool) / sizeof(pool[0]));
+    static u8 pool[DOUBLE_SIZE_ON_64_BIT(0x165000)] __attribute__ ((aligned(16)));
+    main_pool_init(pool, pool + sizeof(pool));
     gEffectsMemoryPool = mem_pool_init(0x4000, MEMORY_POOL_LEFT);
 
     configfile_load(CONFIG_FILE);