sel4_sys::invocation_label

Constant ARMPageUnify_Instruction

Source
pub const ARMPageUnify_Instruction: u32 = 48u32;