Symbol: PCI_PRODUCT_WORKBIT_NJSC32UDE
sys/dev/cardbus/njs_cardbus.c
84
{ PCI_VENDOR_WORKBIT, PCI_PRODUCT_WORKBIT_NJSC32UDE,
sys/dev/pci/pcidevs_data.h
18953
PCI_VENDOR_WORKBIT, PCI_PRODUCT_WORKBIT_NJSC32UDE,