pci_max_pasids
pci_max_pasids(to_pci_dev(dev)));
num_pasids = pci_max_pasids(pdev);
max_pasid = min_t(u32, pci_max_pasids(to_pci_dev(dev)),
ret = pci_max_pasids(to_pci_dev(dev));
EXPORT_SYMBOL_GPL(pci_max_pasids);
int pci_max_pasids(struct pci_dev *pdev);