pub const VMX_REASON_VMWRITE: u64 = 25;