Constant ARMVCPUInjectIRQ 

pub const ARMVCPUInjectIRQ: u32 = 54u32;