Skip to main content

ARMSMCCall

sel4_sys::invocation_label

Constant ARMSMCCall 

Source 
pub const ARMSMCCall: u32 = 38u32;