Constant sel4_sys::invocation_label::ARMSMCCall

pub const ARMSMCCall: u32 = 34u32;