PCI_PRODUCT_LAVA_LAVAPORT_2 7123 dev/pci/pcidevs_data.h 	    PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_2,
PCI_PRODUCT_LAVA_LAVAPORT_2  952 dev/pci/pucdata.c 	    {	PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_2,	0, 0	},