--- zzzz-none-000/linux-3.10.107/drivers/misc/vmw_vmci/vmci_driver.h	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/drivers/misc/vmw_vmci/vmci_driver.h	2021-02-04 17:41:59.000000000 +0000
@@ -35,6 +35,13 @@
 	enum vmci_obj_type type;
 };
 
+/*
+ * Needed by other components of this module.  It's okay to have one global
+ * instance of this because there can only ever be one VMCI device.  Our
+ * virtual hardware enforces this.
+ */
+extern struct pci_dev *vmci_pdev;
+
 u32 vmci_get_context_id(void);
 int vmci_send_datagram(struct vmci_datagram *dg);