Symbol: VMCI_RESERVED_RESOURCE_ID_MAX
sys/dev/vmware/vmci/vmci_queue_pair.c
420
queue_pair_rid = VMCI_RESERVED_RESOURCE_ID_MAX + 1;
sys/dev/vmware/vmci/vmci_queue_pair.c
432
ASSERT(old_rid > VMCI_RESERVED_RESOURCE_ID_MAX);
sys/dev/vmware/vmci/vmci_queue_pair.c
445
VMCI_RESERVED_RESOURCE_ID_MAX + 1;
sys/dev/vmware/vmci/vmci_resource.c
122
ASSERT(old_rid > VMCI_RESERVED_RESOURCE_ID_MAX);
sys/dev/vmware/vmci/vmci_resource.c
133
resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;
sys/dev/vmware/vmci/vmci_resource.c
17
static uint32_t resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;