Constant seL4_ARM_ExecuteNever

pub const seL4_ARM_ExecuteNever: Type = 4;