Constant ACTRL_KERNEL_GET_CONTEXT 

pub const ACTRL_KERNEL_GET_CONTEXT: u32 = 2048u32;