Lines Matching defs:bios_extmem
41 uint32_t bios_basemem, bios_extmem, high_heap_size;
57 * The minimum amount of memory to reserve in bios_extmem for the heap.
124 bios_extmem = smap.length;
169 if (bios_extmem == 0) {
179 * bios_extmem" code below pick up on it.
190 bios_extmem = (v86.ecx & 0xffff) * 1024;
191 if (bios_extmem == (1024 * 0x3c00))
192 bios_extmem += (v86.edx & 0xffff) * 64 * 1024;
194 /* truncate bios_extmem */
195 if (bios_extmem > 0x3ff00000)
196 bios_extmem = 0x3ff00000;
201 if (bios_extmem == 0) {
206 bios_extmem = (v86.eax & 0xffff) * 1024;
214 memtop = memtop_copyin = 0x100000 + bios_extmem;
222 if (bios_extmem >= HEAP_MIN && high_heap_size < HEAP_MIN) {
235 printf("bios_extmem: 0x%llx\n", (unsigned long long)bios_extmem);