Constant ACTRL_KERNEL_VM_READ 

pub const ACTRL_KERNEL_VM_READ: u32 = 8u32;