Constant ACTRL_KERNEL_TERMINATE 

pub const ACTRL_KERNEL_TERMINATE: u32 = 1u32;