sel4_sys::invocation_label

Constant ARMPageUnify_Instruction

Source 
pub const ARMPageUnify_Instruction: u32 = 48u32;