sel4_sys::invocation_label

Constant ARMPageInvalidate_Data

Source
pub const ARMPageInvalidate_Data: u32 = 40u32;