Symbol: riscv_send_ipi
sys/riscv/vmm/riscv.h
132
void riscv_send_ipi(struct hyp *hyp, cpuset_t *cpus);
sys/riscv/vmm/vmm_sbi.c
176
riscv_send_ipi(hyp, &cpus);