hi_mem             38 bsp/boot/x86/pc/startup.c extern paddr_t	hi_mem;
hi_mem             65 bsp/boot/x86/pc/startup.c 	bi->ram[0].size = (size_t)((1024 + hi_mem) * 1024);
hi_mem             72 bsp/boot/x86/pc/startup.c 	if (hi_mem != 0) {