Searched refs:memsize64 (Results 1 – 1 of 1) sorted by relevance
29 u64 memsize64; in platform_init() local62 memsize64 = 0; in platform_init()64 memsize64 = (memsize64 << 32) | *reg++; in platform_init()65 if (sizeof(void *) == 4 && memsize64 >= 0x100000000ULL) in platform_init()66 memsize64 = 0xffffffff; in platform_init()78 simple_alloc_init(_end, memsize64 - (unsigned long)_end, 32, 64); in platform_init()