TLB_WRITE
(pte & PTE_PROT(TLB_WRITE))) {
pte &= ~TLB_WRITE;
#define TLB_AR_RW TLB_READ|TLB_WRITE
#define TLB_AR_RWX TLB_READ|TLB_WRITE|TLB_EXECUTE