Searched refs:region_bytes (Results 1 – 1 of 1) sorted by relevance
461 uint64_t region_bytes = 0; in i386_vm_init() local502 region_bytes = (uint64_t)(mptr->NumberOfPages << I386_PGSHIFT); in i386_vm_init()515 sane_size += region_bytes; in i386_vm_init()516 firmware_Conventional_bytes += region_bytes; in i386_vm_init()530 firmware_RuntimeServices_bytes += region_bytes; in i386_vm_init()531 sane_size += region_bytes; in i386_vm_init()534 firmware_ACPIReclaim_bytes += 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()[all …]