Constant ACTRL_KERNEL_VM_WRITE 

pub const ACTRL_KERNEL_VM_WRITE: u32 = 16u32;