Constant kos_sys::os::init::INIT_IRQ

pub const INIT_IRQ: u32 = 0x00000001;