Symbol: PCI_DEVICE_82371AB_3
sys/dev/acpica/acpi_cpu.c
1319
acpi_dev = pci_find_device(PCI_VENDOR_INTEL, PCI_DEVICE_82371AB_3);
sys/dev/acpica/acpi_throttle.c
321
acpi_dev = pci_find_device(PCI_VENDOR_INTEL, PCI_DEVICE_82371AB_3);