Constant seL4_RISCV_ExecuteNever

pub const seL4_RISCV_ExecuteNever: Type = 1;