VMCI_RESERVED_RESOURCE_ID_MAX   72 drivers/misc/vmw_vmci/vmci_resource.c 	static u32 resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;
VMCI_RESERVED_RESOURCE_ID_MAX   87 drivers/misc/vmw_vmci/vmci_resource.c 			resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;