Symbol: call_single_cpu
src/system/kernel/smp.cpp
1469
call_single_cpu(uint32 targetCPU, void (*func)(void*, int), void* cookie, bool sync)
src/system/kernel/smp.cpp
1496
call_single_cpu(uint32 targetCPU, void (*func)(void*, int), void* cookie)