Symbol: TIMECOUNTER_INIT
sys/dev/acpica/acpi_hpet.c
307
TIMECOUNTER_INIT(acpi_hpet_init, acpi_hpet_cputimer_register);
sys/platform/pc64/isa/clock.c
90
TIMECOUNTER_INIT(placeholder, NULL);
sys/platform/pc64/x86_64/initcpu.c
416
TIMECOUNTER_INIT(cpuid_tsc_frequency, detect_tsc_frequency);