Symbol: tsc_tc_reset
sys/arch/x86/acpi/acpi_wakeup.c
349
tsc_tc_reset();
sys/arch/x86/x86/tsc.h
40
void tsc_tc_reset(void);