Constant VM_GPA_PAGE_WRITABLE 

pub const VM_GPA_PAGE_WRITABLE: u64 = 0x2;