_PAGE_EXEC
#define _PAGE_EXEC 0
#define _PAGE_EXEC (1<<21)
#define _PAGE_EXEC 0x400 /* software: page is executable */
#define _PAGE_EXEC (1 << xlate_pabit(_PAGE_EXEC_BIT))
#define _PAGE_EXEC 0x200 /* software: exec allowed */
#define _PAGE_EXEC 0x00001 /* execute permission */
#define _PAGE_EXEC 0x00000004 /* H: Execute permission */
#define _PAGE_EXEC 0x0040 /* Copied to PP (bit 21) in ITLB */
#define _PAGE_EXEC (_PAGE_BAP_SX | _PAGE_BAP_UX) /* .. and was cache cleaned */
#define _PAGE_EXEC (1 << 3) /* Executable */