Symbol: vmci_resources_query_msg
sys/dev/vmware/vmci/vmci_driver.c
140
struct vmci_resources_query_msg *msg;
sys/dev/vmware/vmci/vmci_driver.c
158
msg = (struct vmci_resources_query_msg *)VMCI_DG_PAYLOAD(check_msg);