VMCI_EVENT_MAX
(_event < VMCI_EVENT_MAX && \
for (e = 0; e < VMCI_EVENT_MAX; e++) {
for (e = 0; e < VMCI_EVENT_MAX; e++) {
static vmci_list(vmci_subscription) subscriber_array[VMCI_EVENT_MAX];
for (i = 0; i < VMCI_EVENT_MAX; i++)