Constant ACTRL_KERNEL_GET_CONTEXT

pub const ACTRL_KERNEL_GET_CONTEXT: u32 = 2048u32;