PROFILE_KERNEL

Constant PROFILE_KERNEL 

Source
pub const PROFILE_KERNEL: u32 = 536870912;