Symbol: tsc_sync_bp
sys/arch/x86/acpi/acpi_wakeup.c
407
tsc_sync_bp(ci);
sys/arch/x86/x86/cpu.c
863
tsc_sync_bp(ci);
sys/arch/x86/x86/cpu.c
893
tsc_sync_bp(ci);
sys/arch/x86/x86/tsc.h
36
void tsc_sync_bp(struct cpu_info *);