PTE1_FRAME
npte1 = (fpte2 & PTE1_FRAME) | ATTR_TO_L1(fpte2) | PTE1_V;
return (va & PTE1_FRAME);
return ((va + PTE1_OFFSET) & PTE1_FRAME);
return ((vm_paddr_t)(pte1 & PTE1_FRAME));
#define PTE1_PA(pa) ((pa) & PTE1_FRAME)