Symbol: tsc_apply_cpu
sys/arch/x86/x86/tsc.c
390
xc = xc_broadcast(0, tsc_apply_cpu, (void *)true, NULL);
sys/arch/x86/x86/tsc.c
399
xc = xc_broadcast(0, tsc_apply_cpu, (void *)false, NULL);