Symbol: SMP_MSG_CALL_FUNCTION
src/system/kernel/smp.cpp
1488
smp_send_ici(targetCPU, SMP_MSG_CALL_FUNCTION, (addr_t)cookie,
src/system/kernel/smp.cpp
1528
smp_broadcast_ici(SMP_MSG_CALL_FUNCTION, (addr_t)cookie,
src/system/kernel/smp.cpp
878
case SMP_MSG_CALL_FUNCTION: