sel4_sys::invocation_label

Constant RISCVPageUnmap

Source 
pub const RISCVPageUnmap: u32 = 33u32;