PTE_PP
pte->pte_lo = (old_pte_lo & ~PTE_PP) | PTE_RW;
uint64_t old_pp = pted->pted_pte.pte_lo & PTE_PP;
pted->pted_pte.pte_lo &= ~PTE_PP;