EPT_PTE_ADDRESS_MASK
uint64 page = (physicalAddress & EPT_PTE_ADDRESS_MASK)
PageUnmapped(area, (oldEntry & EPT_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
page_num_t page = (oldEntry & EPT_PTE_ADDRESS_MASK) / B_PAGE_SIZE;
*_physicalAddress = entry & EPT_PTE_ADDRESS_MASK;
(oldEntry & EPT_PTE_ADDRESS_MASK) / B_PAGE_SIZE);