Constant ARMVCPUInjectIRQ 

pub const ARMVCPUInjectIRQ: u32 = 48u32;