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);