vmci_get_context_id
context_id = vmci_get_context_id();
u32 context_id = vmci_get_context_id();
vmci_get_context_id() == handle->context)) {
EXPORT_SYMBOL_GPL(vmci_get_context_id);
u32 vmci_get_context_id(void);
u32 context_id = vmci_get_context_id();
u32 context_id = vmci_get_context_id();
u32 context_id = vmci_get_context_id();
src->context = vmci_get_context_id();
src->context = vmci_get_context_id();
src->context = vmci_get_context_id();
u32 vmci_get_context_id(void);
return vmci_get_context_id();