PTE_UW
flags &= ~(PTE_UW | PTE_UX | PTE_SW | PTE_SX | PTE_MODIFIED);
flags |= PTE_UW;
flags |= PTE_UW;
*pte &= ~(PTE_UW | PTE_SW | PTE_MODIFIED);
*pte &= ~(PTE_UW | PTE_SW | PTE_MODIFIED);
pte_wbit = PTE_UW;
if (*pte & (PTE_SW | PTE_UW | PTE_MODIFIED)) {
*pte &= ~(PTE_SW | PTE_UW | PTE_MODIFIED |