Symbol: cpu_send_ipiq
sys/platform/pc64/x86_64/mp_machdep.c
1639
cpu_send_ipiq(int dcpu)
sys/platform/vkernel64/x86_64/mp.c
200
cpu_send_ipiq(int dcpu)