kos_sys::arch::init_flags

Constant INIT_SIP

Source 
pub const INIT_SIP: u32 = 0x00040000;