vmci_event_type
vmci_event_type event; /* 4 bytes. */
vmci_event_type event;
vmci_event_type e;
vmci_event_type event, uint32_t flags,
if (msg->payload_size < sizeof(vmci_event_type) ||
vmci_event_type event, uint32_t flags, vmci_event_cb callback,
vmci_event_subscribe(vmci_event_type event, vmci_event_cb callback,
vmci_event_type e;
int vmci_event_subscribe(vmci_event_type event, vmci_event_cb callback,