Searched refs:region_bytes (Results 1 – 1 of 1) sorted by relevance
460 uint64_t region_bytes = 0; in i386_vm_init() local501 region_bytes = (uint64_t)(mptr->NumberOfPages << I386_PGSHIFT); in i386_vm_init()514 sane_size += region_bytes; in i386_vm_init()515 firmware_Conventional_bytes += region_bytes; in i386_vm_init()529 firmware_RuntimeServices_bytes += region_bytes; in i386_vm_init()530 sane_size += region_bytes; in i386_vm_init()533 firmware_ACPIReclaim_bytes += region_bytes; in i386_vm_init()534 sane_size += region_bytes; in i386_vm_init()537 firmware_ACPINVS_bytes += region_bytes; in i386_vm_init()538 sane_size += region_bytes; in i386_vm_init()[all …]