PTE_PPN0_S
return (((pa & PTE_RPGN) >> PAGE_SHIFT) << PTE_PPN0_S) | PTE_V;
entry |= (pn << PTE_PPN0_S);