VMCI_CONTROL_ADDR  637 drivers/misc/vmw_vmci/vmci_guest.c 		  vmci_dev->iobase + VMCI_CONTROL_ADDR);
VMCI_CONTROL_ADDR  659 drivers/misc/vmw_vmci/vmci_guest.c 			  vmci_dev->iobase + VMCI_CONTROL_ADDR);
VMCI_CONTROL_ADDR  701 drivers/misc/vmw_vmci/vmci_guest.c 	iowrite32(VMCI_CONTROL_RESET, vmci_dev->iobase + VMCI_CONTROL_ADDR);