Symbol: PCI_PRODUCT_LAVA_LAVAPORT_2
sys/dev/pci/pcidevs_data.h
28327
PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_2,
sys/dev/pci/pucdata.c
1362
{ PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_2, 0, 0 },