PTE2_FRAME
if ((fpte2 & ((PTE2_FRAME & PTE1_OFFSET) | PTE2_A | PTE2_V)) !=
fpte2_fav = (fpte2 & (PTE2_FRAME | PTE2_A | PTE2_V));
if ((pte2 & (PTE2_FRAME | PTE2_A | PTE2_V)) != fpte2_fav) {
PTE2_FRAME);
return ((vm_paddr_t)(pte2 & PTE2_FRAME));
return (PHYS_TO_VM_PAGE(pte2 & PTE2_FRAME));
return (PHYS_TO_VM_PAGE(pte2 & PTE2_FRAME));
#define PTE2_PA(pa) ((pa) & PTE2_FRAME)