Constant seL4_RISCV_Default_VMAttributes 

pub const seL4_RISCV_Default_VMAttributes: Type = 0;