Constant sel4_sys::invocation_label::ARMPageUnify_Instruction

pub const ARMPageUnify_Instruction: u32 = 48u32;