sel4_sys::invocation_label

Constant ARMPDUnify_Instruction

Source
pub const ARMPDUnify_Instruction: u32 = 34u32;