Constant ACTRL_KERNEL_GET_INFO 

pub const ACTRL_KERNEL_GET_INFO: u32 = 256u32;