Symbol: kick_other_cpu
sys/kern/sched_4bsd.c
1388
kick_other_cpu(td->td_priority, cpu);
sys/kern/sched_4bsd.c
143
static void kick_other_cpu(int pri, int cpuid);