Constant ACTRL_KERNEL_SET_CONTEXT 

pub const ACTRL_KERNEL_SET_CONTEXT: u32 = 4096u32;