Symbol: cpu_send_ipiq
sys/kern/lwkt_ipiq.c
267
cpu_send_ipiq(target->gd_cpuid);
sys/kern/lwkt_ipiq.c
315
cpu_send_ipiq(target->gd_cpuid);
sys/platform/pc64/include/smp.h
69
void cpu_send_ipiq (int);
sys/platform/vkernel64/include/smp.h
30
void cpu_send_ipiq (int);