TLB_AR_MASK
switch (btlb_slot->btlb_slot_tlbprot & TLB_AR_MASK) {
switch (tlbprot & TLB_AR_MASK) {
if ((pte & PTE_PROT(TLB_AR_MASK)) == pteprot)
pte &= ~PTE_PROT(TLB_AR_MASK);