Searched refs:region_bytes (Results 1 – 1 of 1) sorted by relevance
461 uint64_t region_bytes = 0; in i386_vm_init() local515 sane_size += region_bytes; in i386_vm_init()531 sane_size += region_bytes; in i386_vm_init()535 sane_size += region_bytes; in i386_vm_init()538 firmware_ACPINVS_bytes += region_bytes; in i386_vm_init()539 sane_size += region_bytes; in i386_vm_init()542 firmware_PalCode_bytes += region_bytes; in i386_vm_init()543 sane_size += region_bytes; in i386_vm_init()547 firmware_Reserved_bytes += region_bytes; in i386_vm_init()554 firmware_MMIO_bytes += region_bytes; in i386_vm_init()[all …]