Symbol: vmci_doorbell_exit
sys/dev/vmware/vmci/vmci_doorbell.h
15
void vmci_doorbell_exit(void);
sys/dev/vmware/vmci/vmci_driver.c
477
vmci_doorbell_exit();