Constant ARMVCPUInjectIRQ 

pub const ARMVCPUInjectIRQ: u32 = 49u32;