/*********************************************************
- * Copyright (C) 2011-2014,2017 VMware, Inc. All rights reserved.
+ * Copyright (C) 2011-2014 VMware, Inc. All rights reserved.
*
* This program is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License as published by the
dev->exclusive_vectors = FALSE;
dev->intr_type = VMCI_INTR_TYPE_INTX;
- tasklet_disable(&vmci_dg_tasklet);
- tasklet_disable(&vmci_bm_tasklet);
tasklet_kill(&vmci_dg_tasklet);
tasklet_kill(&vmci_bm_tasklet);
if (guestDeviceInit) {
pci_unregister_driver(&vmci_driver);
vfree(data_buffer);
- data_buffer = NULL;
guestDeviceInit = FALSE;
}
/*********************************************************
- * Copyright (C) 2007-2014,2017 VMware, Inc. All rights reserved.
+ * Copyright (C) 2007-2014 VMware, Inc. All rights reserved.
*
* This program is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License as published by the
#ifndef _VMCI_VERSION_H_
#define _VMCI_VERSION_H_
-#define VMCI_DRIVER_VERSION 9.8.2.0
-#define VMCI_DRIVER_VERSION_COMMAS 9,8,2,0
-#define VMCI_DRIVER_VERSION_STRING "9.8.2.0"
+#define VMCI_DRIVER_VERSION 9.8.1.0
+#define VMCI_DRIVER_VERSION_COMMAS 9,8,1,0
+#define VMCI_DRIVER_VERSION_STRING "9.8.1.0"
#endif /* _VMCI_VERSION_H_ */