Searched refs:bios_extmem (Results 1 – 8 of 8) sorted by relevance
38 uint32_t bios_basemem, bios_extmem, high_heap_size; variable121 bios_extmem = smap.length; in bios_getmem()166 if (bios_extmem == 0) { in bios_getmem()187 bios_extmem = (v86.ecx & 0xffff) * 1024; in bios_getmem()188 if (bios_extmem == (1024 * 0x3c00)) in bios_getmem()189 bios_extmem += (v86.edx & 0xffff) * 64 * 1024; in bios_getmem()192 if (bios_extmem > 0x3ff00000) in bios_getmem()193 bios_extmem = 0x3ff00000; in bios_getmem()198 if (bios_extmem == 0) { in bios_getmem()203 bios_extmem = (v86.eax & 0xffff) * 1024; in bios_getmem()[all …]
112 extern uint32_t bios_extmem; /* extended memory in bytes */
175 bi->bi_extmem = bios_extmem / 1024; in bi_load32()
186 mb_info->mem_upper = bios_extmem / 1024; in multiboot_exec()
86 static uint32_t bios_basemem, bios_extmem, high_heap_size; variable144 bios_extmem = smap.length; in bios_getmem()182 if (bios_extmem == 0) { in bios_getmem()188 bios_extmem = ((v86.ecx & 0xffff) + in bios_getmem()192 if (bios_extmem == 0) { in bios_getmem()197 bios_extmem = (v86.eax & 0xffff) * 1024; in bios_getmem()205 if (bios_extmem >= HEAP_MIN && high_heap_size < HEAP_MIN) { in bios_getmem()207 high_heap_base = bios_extmem + 0x100000 - HEAP_MIN; in bios_getmem()241 bootinfo.bi_extmem = bios_extmem / 1024; in main()
89 static uint32_t bios_basemem, bios_extmem, high_heap_size; variable161 bios_extmem = smap.length; in bios_getmem()199 if (bios_extmem == 0) { in bios_getmem()205 bios_extmem = ((v86.ecx & 0xffff) + in bios_getmem()209 if (bios_extmem == 0) { in bios_getmem()214 bios_extmem = (v86.eax & 0xffff) * 1024; in bios_getmem()222 if (bios_extmem >= HEAP_MIN && high_heap_size < HEAP_MIN) { in bios_getmem()224 high_heap_base = bios_extmem + 0x100000 - HEAP_MIN; in bios_getmem()290 bootinfo.bi_extmem = bios_extmem / 1024; in main()
244 bios_extmem / 1024); in main()247 initial_bootinfo->bi_extmem = bios_extmem / 1024; in main()
119 extern uint32_t bios_basemem, bios_extmem, high_heap_size;199 bootinfo.bi_extmem = bios_extmem / 1024; in main()