/* sn_pcidev_info_get() - Retrieve the pcidev_info struct for the specified device.  */
struct pcidev_info* sn_pcidev_info_get(struct pci_dev *dev)
/* sn_pcidev_info_get() - Retrieve the pcidev_info struct for the specified device.  */
struct pcidev_info* sn_pcidev_info_get(struct pci_dev *dev)
{
	struct pcidev_info *pcidev;
	list_for_each_entry(pcidev,
			    &(SN_PLATFORM_DATA(dev)->pcidev_info), pdi_list) {
		if (pcidev->pdi_linux_pcidev == dev)
			return pcidev;
	}
	return NULL;
}