Skip to main content

ARMVCPUInjectIRQ

sel4_sys::invocation_label

Constant ARMVCPUInjectIRQ 

Source 
pub const ARMVCPUInjectIRQ: u32 = 56u32;