40 uint32_t	bios_basemem, bios_extmem, high_heap_size;  variable
122 			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()
212 		memtop = memtop_copyin = 0x100000 + bios_extmem;  in bios_getmem()
220 	if (bios_extmem >= HEAP_MIN && high_heap_size < HEAP_MIN) {  in bios_getmem()
233 	printf("bios_extmem: 0x%llx\n", (unsigned long long)bios_extmem);  in command_biosmem()