vmci_signal_event
vmci_signal_event(&entry->destroy_event);
void vmci_signal_event(vmci_event *event);