Symbol: resume_TSC
sys/dev/acpica/acpi.c
3765
resume_TSC();
sys/x86/include/clock.h
38
void resume_TSC(void);