Constant ACTRL_KERNEL_VM 

pub const ACTRL_KERNEL_VM: u32 = 4u32;