VHCI_NADDRS
for (addr = 0; addr < VHCI_NADDRS; addr++) {
} endpoints[VHCI_NADDRS];
if (args->addr >= VHCI_NADDRS)