PTE_xX
PTE_M | PTE_xR | PTE_xX);
kxtlb->e_tlb.tlb_pte = PTE_M|PTE_xR|PTE_xW|PTE_xX;
PTE_M | PTE_xR | PTE_xW | PTE_xX);
text_xtlb->e_tlb.tlb_pte = PTE_M | PTE_xR | PTE_xX | text_xtlb->e_tlb.tlb_va;
| ((prot_mask & ~PTE_xX) >> PTE_RWX_SHIFT);
tlb.tlb_pte & PTE_xX ? "X" : "",
| PTE_M | PTE_xX | PTE_xW | PTE_xR;
pte |= PTE_xX;
#if (PTE_UNSYNCED << 1) != PTE_xX
return (pt_entry & PTE_xX) != 0;
pt_entry &= ~(PTE_xX|PTE_UNSYNCED);
pt_entry |= PTE_xX;
pt_entry |= PTE_xX;
#define PTE_DEFAULT (PTE_M|PTE_xX|PTE_xW|PTE_xR)
#define PTE_RWX_MASK (PTE_xX|PTE_xW|PTE_xR)