Constant ACTRL_KERNEL_VM_WRITE

pub const ACTRL_KERNEL_VM_WRITE: u32 = 16u32;