PTE_X
#define PTE_RWX (PTE_R | PTE_W | PTE_X)
#define PTE_RX (PTE_R | PTE_X)
[PROT_EXEC] = PTE_U|PTE_A|PTE_X,
[PROT_EXEC|PROT_READ] = PTE_U|PTE_A|PTE_X|PTE_R,
[PROT_EXEC|PROT_WRITE] = PTE_U|PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,
[PROT_EXEC|PROT_WRITE|PROT_READ] = PTE_U|PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,
[PROT_EXEC] = PTE_A|PTE_X,
[PROT_EXEC|PROT_READ] = PTE_A|PTE_X|PTE_R,
[PROT_EXEC|PROT_WRITE] = PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,
[PROT_EXEC|PROT_WRITE|PROT_READ] = PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,