PCI_PRODUCT_INVERTEX_AEON 125 dev/pci/hifn7751.c { PCI_VENDOR_INVERTEX, PCI_PRODUCT_INVERTEX_AEON },
PCI_PRODUCT_INVERTEX_AEON 581 dev/pci/hifn7751.c PCI_PRODUCT_INVERTEX_AEON,
PCI_PRODUCT_INVERTEX_AEON 6999 dev/pci/pcidevs_data.h PCI_VENDOR_INVERTEX, PCI_PRODUCT_INVERTEX_AEON,