Symbol: vmci_list_empty
sys/dev/vmware/vmci/vmci.c
1077
while (!vmci_list_empty(&temp_list)) {
sys/dev/vmware/vmci/vmci_event.c
410
if (!vmci_list_empty(&no_delay_list)) {