TLB_EXECUTE
if ((prot & TLB_EXECUTE) == 0)
if (pte & PTE_PROT(TLB_EXECUTE)) {
#define TLB_AR_RX TLB_READ|TLB_EXECUTE
#define TLB_AR_RWX TLB_READ|TLB_WRITE|TLB_EXECUTE