Constant kos_sys::arch::init_flags::INIT_SIP

pub const INIT_SIP: u32 = 0x00040000;