Symbol: E600_HPET_GC_ENABLE
sys/dev/pci/tcpcib.c
212
E600_HPET_GC, E600_HPET_GC_ENABLE);
sys/dev/pci/tcpcib.c
295
E600_HPET_GC, E600_HPET_GC_ENABLE);