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