Constant ACTRL_KERNEL_TOKEN 

pub const ACTRL_KERNEL_TOKEN: u32 = 8192u32;