ocxl_config_get_pasid_info
rc = ocxl_config_get_pasid_info(dev, &max_count);
int ocxl_config_get_pasid_info(struct pci_dev *dev, int *count);