Constant ACTRL_KERNEL_DUP_HANDLE 

pub const ACTRL_KERNEL_DUP_HANDLE: u32 = 32u32;