Constant seL4_RISCV_ExecuteNever 

pub const seL4_RISCV_ExecuteNever: Type = 1;