VMCI_GET_CONTEXT_ID   84 drivers/misc/vmw_vmci/vmci_guest.c 				     VMCI_GET_CONTEXT_ID);
VMCI_GET_CONTEXT_ID  184 drivers/misc/vmw_vmci/vmci_guest.c 	msg->resources[0] = VMCI_GET_CONTEXT_ID;