sel4_sys::invocation_label

Constant ARMPageInvalidate_Data

Source
pub const ARMPageInvalidate_Data: u32 = 41u32;