sel4_sys::invocation_label

Constant ARMPageClean_Data

Source 
pub const ARMPageClean_Data: u32 = 40u32;