Symbol: PCI_PRODUCT_LAVA_LAVAPORT_0
sys/dev/pci/pcidevs_data.h
28331
PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_0,
sys/dev/pci/pucdata.c
1350
{ PCI_VENDOR_LAVA, PCI_PRODUCT_LAVA_LAVAPORT_0, 0, 0 },