__KERNEL__

Constant __KERNEL__ 

Source
pub const __KERNEL__: u32 = 1;