pub const ACTRL_KERNEL_VM_READ: u32 = 8u32;