Symbol: single_cpu_ipi
sys/platform/vkernel64/x86_64/mp.c
224
single_cpu_ipi(n, vector, delivery_mode);
sys/platform/vkernel64/x86_64/mp.c
81
void single_cpu_ipi(int, int, int);