Searched refs:bios_extmem (Results 1 – 4 of 4) sorted by relevance
41 u_int32_t bios_basemem, bios_extmem, bios_howmem; variable80 bios_extmem = smap.length; in bios_getmem()95 if (bios_extmem == 0) { in bios_getmem()105 bios_extmem = v; in bios_getmem()108 if (bios_extmem == 0) { in bios_getmem()113 bios_extmem = (v86.eax & 0xffff) * 1024; in bios_getmem()126 memtop = 0x100000 + bios_extmem; in bios_getmem()
120 extern u_int32_t bios_extmem; /* extended memory in bytes */
258 bi.bi_extmem = bios_extmem / 1024; in bi_load32()
245 bios_basemem / 1024, bios_extmem / 1024); in main()248 initial_bootinfo->bi_extmem = bios_extmem / 1024; in main()