Symbol: smp_send_ici
headers/private/kernel/smp.h
86
void smp_send_ici(int32 targetCPU, int32 message, addr_t data, addr_t data2, addr_t data3,
src/system/kernel/scheduler/scheduler.cpp
138
smp_send_ici(targetCPU->ID(), SMP_MSG_RESCHEDULE, 0, 0, 0,
src/system/kernel/scheduler/scheduler.cpp
608
smp_send_ici(cpuID, SMP_MSG_RESCHEDULE, 0, 0, 0, NULL,
src/system/kernel/smp.cpp
1488
smp_send_ici(targetCPU, SMP_MSG_CALL_FUNCTION, (addr_t)cookie,