Constant ACTRL_KERNEL_ALERT 

pub const ACTRL_KERNEL_ALERT: u32 = 1024u32;