Searched refs:bios_extmem (Results 1 – 9 of 9) sorted by relevance
40 uint32_t bios_basemem, bios_extmem, high_heap_size; variable122 bios_extmem = smap.length; in bios_getmem()167 if (bios_extmem == 0) { in bios_getmem()188 bios_extmem = (v86.ecx & 0xffff) * 1024; in bios_getmem()189 if (bios_extmem == (1024 * 0x3c00)) in bios_getmem()190 bios_extmem += (v86.edx & 0xffff) * 64 * 1024; in bios_getmem()193 if (bios_extmem > 0x3ff00000) in bios_getmem()194 bios_extmem = 0x3ff00000; in bios_getmem()199 if (bios_extmem == 0) { in bios_getmem()204 bios_extmem = (v86.eax & 0xffff) * 1024; in bios_getmem()[all …]
112 extern uint32_t bios_extmem; /* extended memory in bytes */
255 bi.bi_extmem = bios_extmem / 1024; in bi_load32()
348 moveto = (bios_extmem / 1024 + 0x400) << 10; in linux_exec()
260 mb_info->mem_upper = bios_extmem / 1024; in multiboot_exec()
96 static uint32_t bios_basemem, bios_extmem, high_heap_size; variable155 bios_extmem = smap.length; in bios_getmem()193 if (bios_extmem == 0) { in bios_getmem()199 bios_extmem = ((v86.ecx & 0xffff) + in bios_getmem()203 if (bios_extmem == 0) { in bios_getmem()208 bios_extmem = (v86.eax & 0xffff) * 1024; in bios_getmem()216 if (bios_extmem >= HEAP_MIN && high_heap_size < HEAP_MIN) { in bios_getmem()218 high_heap_base = bios_extmem + 0x100000 - HEAP_MIN; in bios_getmem()256 bootinfo.bi_extmem = bios_extmem / 1024; in main()
182 bios_extmem / 1024); in main()185 initial_bootinfo->bi_extmem = bios_extmem / 1024; in main()
120 extern uint32_t bios_basemem, bios_extmem, high_heap_size;224 bootinfo.bi_extmem = bios_extmem / 1024; in main()
983 tag->mb_mem_upper = bios_extmem / 1024; in multiboot2_exec()