VMCI_UTIL_NUM_RESOURCES  168 drivers/misc/vmw_vmci/vmci_guest.c 				VMCI_UTIL_NUM_RESOURCES * sizeof(u32);
VMCI_UTIL_NUM_RESOURCES  183 drivers/misc/vmw_vmci/vmci_guest.c 	msg->num_resources = VMCI_UTIL_NUM_RESOURCES;