Symbol: cpu_send_ipiq_passive
sys/platform/pc64/include/smp.h
70
int cpu_send_ipiq_passive (int);
sys/platform/vkernel64/include/smp.h
31
int cpu_send_ipiq_passive (int);