Constant CPU_WHICH_IRQ 

pub const CPU_WHICH_IRQ: c_int = 4;