ocxl_config_get_pasid_info  370 drivers/misc/ocxl/core.c 	rc = ocxl_config_get_pasid_info(dev, &max_count);
ocxl_config_get_pasid_info  113 drivers/misc/ocxl/ocxl_internal.h int ocxl_config_get_pasid_info(struct pci_dev *dev, int *count);