vmtools.linux-driver.c.patch

*** ./linux/driver.c    2012-10-31 23:59:58.000000000 +0000
--- ./linux/driver.c    2013-05-29 07:12:46.757844464 +0000
***************
*** 124,130 ****
     .name     = "vmci",
     .id_table = vmci_ids,
     .probe = vmci_probe_device,
!    .remove = __devexit_p(vmci_remove_device),
  };

  #if LINUX_VERSION_CODE < KERNEL_VERSION(2, 6, 19)
--- 124,130 ----
     .name     = "vmci",
     .id_table = vmci_ids,
     .probe = vmci_probe_device,
!    .remove = vmci_remove_device,
  };

  #if LINUX_VERSION_CODE < KERNEL_VERSION(2, 6, 19)
***************
*** 1750,1758 ****
   *-----------------------------------------------------------------------------
   */

! static int __devinit
! vmci_probe_device(struct pci_dev *pdev,           // IN: vmci PCI device
!                   const struct pci_device_id *id) // IN: matching device ID
  {
     unsigned int ioaddr;
     unsigned int ioaddr_size;
--- 1750,1756 ----
   *-----------------------------------------------------------------------------
   */

! static int vmci_probe_device(struct pci_dev *pdev, const struct pci_device_id *id)
  {
     unsigned int ioaddr;
     unsigned int ioaddr_size;
***************
*** 1978,1985 ****
   *-----------------------------------------------------------------------------
   */

! static void __devexit
! vmci_remove_device(struct pci_dev* pdev)
  {
     struct vmci_device *dev = pci_get_drvdata(pdev);

--- 1976,1982 ----
   *-----------------------------------------------------------------------------
   */

! static void vmci_remove_device(struct pci_dev* pdev)
  {
     struct vmci_device *dev = pci_get_drvdata(pdev);