call_single_cpu_sync
void call_single_cpu_sync(uint32 targetCPU, void (*func)(void*, int),
call_single_cpu_sync(cpu, get_frequency_for, frequency);
call_single_cpu_sync(forCPU, get_cpuid_for, &args);