VMCI_CONTEXT_RESOURCE_ID  252 drivers/misc/vmw_vmci/vmci_context.c 						  VMCI_CONTEXT_RESOURCE_ID);
VMCI_CONTEXT_RESOURCE_ID  344 drivers/misc/vmw_vmci/vmci_context.c 				 VMCI_CONTEXT_RESOURCE_ID)) ||
VMCI_CONTEXT_RESOURCE_ID  852 drivers/misc/vmw_vmci/vmci_queue_pair.c 					  VMCI_CONTEXT_RESOURCE_ID);
VMCI_CONTEXT_RESOURCE_ID 1465 drivers/misc/vmw_vmci/vmci_queue_pair.c 					  VMCI_CONTEXT_RESOURCE_ID);