kos_sys::os::init

Constant INIT_IRQ

Source 
pub const INIT_IRQ: u32 = 0x00000001;