PCI_PRODUCT_LAVA_LAVAPORT_0 7127 dev/pci/pcidevs_data.h 	    PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_0,
PCI_PRODUCT_LAVA_LAVAPORT_0  940 dev/pci/pucdata.c 	    {	PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_0,	0, 0	},