Symbol: tsc_test_sync_bp
sys/arch/amd64/amd64/cpu.c
1028
tsc_test_sync_bp(curcpu());
sys/arch/amd64/amd64/cpu.c
997
tsc_test_sync_bp(curcpu());
sys/arch/amd64/include/cpuvar.h
97
void tsc_test_sync_bp(struct cpu_info *);