vmci_event
vmci_event destroy_event;
vmci_event destroy_event;
vmci_event destroy_event;
vmci_create_event(vmci_event *event)
vmci_destroy_event(vmci_event *event)
vmci_signal_event(vmci_event *event)
vmci_wait_on_event(vmci_event *event, vmci_event_release_cb release_cb,
void vmci_create_event(vmci_event *event);
void vmci_destroy_event(vmci_event *event);
void vmci_signal_event(vmci_event *event);
void vmci_wait_on_event(vmci_event *event, vmci_event_release_cb release_cb,
bool vmci_wait_on_event_interruptible(vmci_event *event,
vmci_event event;