PGTBL_PTE_ADDR_SHIFT
*ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) |
*ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) |
*ptep = (paddr << PGTBL_PTE_ADDR_SHIFT) |
return ((entry & PGTBL_PTE_ADDR_MASK) >> PGTBL_PTE_ADDR_SHIFT) <<