Searched refs:VMCI_RESERVED_RESOURCE_ID_MAX (Results 1 - 3 of 3) sorted by relevance

/freebsd-12-stable/sys/dev/vmware/vmci/
H A Dvmci_resource.c18 /* 0 through VMCI_RESERVED_RESOURCE_ID_MAX are reserved. */
19 static uint32_t resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;
97 * Return resource ID. The first VMCI_RESERVED_RESOURCE_ID_MAX are reserved
124 ASSERT(old_rid > VMCI_RESERVED_RESOURCE_ID_MAX);
135 resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;
H A Dvmci_queue_pair.c396 * 0 through VMCI_RESERVED_RESOURCE_ID_MAX are reserved handles. Assumes
419 queue_pair_rid = VMCI_RESERVED_RESOURCE_ID_MAX + 1;
431 ASSERT(old_rid > VMCI_RESERVED_RESOURCE_ID_MAX);
444 VMCI_RESERVED_RESOURCE_ID_MAX + 1;
H A Dvmci_defs.h337 /* 0 through VMCI_RESERVED_RESOURCE_ID_MAX are reserved. */
338 #define VMCI_RESERVED_RESOURCE_ID_MAX 1023 macro

Completed in 50 milliseconds