VHCI_PORTS
return port / VHCI_PORTS;
(pdev_nr * VHCI_PORTS) + i,
(pdev_nr * VHCI_PORTS) + VHCI_HC_PORTS + i,
out += sprintf(out, "%d\n", VHCI_PORTS * vhci_num_controllers);
pdev_nr * VHCI_PORTS + i, vdev);
pdev_nr * VHCI_PORTS + VHCI_HC_PORTS + i, vdev);