Constant seL4_RISCV_Default_VMAttributes

pub const seL4_RISCV_Default_VMAttributes: Type = 0;