Constant sel4_sys::invocation_label::ARMPageUnify_Instruction

pub const ARMPageUnify_Instruction: u32 = 42u32;