Symbol: VMCI_EVENT_CTX_ID_UPDATE
sys/dev/vmware/vmci/vmci_driver.c
116
VMCI_EVENT_CTX_ID_UPDATE, ctx_update_sub_id);
sys/dev/vmware/vmci/vmci_driver.c
86
if (vmci_event_subscribe(VMCI_EVENT_CTX_ID_UPDATE,
sys/dev/vmware/vmci/vmci_driver.c
89
"(type=%d).\n", VMCI_EVENT_CTX_ID_UPDATE);