vmci_get_vm_context_id 40 drivers/misc/vmw_vmci/vmci_driver.c return vmci_get_vm_context_id(); vmci_get_vm_context_id 47 drivers/misc/vmw_vmci/vmci_driver.h u32 vmci_get_vm_context_id(void);