Symbol: HPET_VENDID_AMD
sys/dev/acpica/acpi_hpet.c
523
if (vendor == HPET_VENDID_AMD && rev < 0x10 && num_timers > 0)
sys/dev/acpica/acpi_hpet.c
622
if (vendor == HPET_VENDID_AMD || vendor == HPET_VENDID_AMD2 ||