Symbol: VMCI_CONTROL_RESET
drivers/misc/vmw_vmci/vmci_guest.c
888
vmci_write_reg(vmci_dev, VMCI_CONTROL_RESET, VMCI_CONTROL_ADDR);
drivers/misc/vmw_vmci/vmci_guest.c
928
vmci_write_reg(vmci_dev, VMCI_CONTROL_RESET, VMCI_CONTROL_ADDR);