Symbol: riscv_check_ipi
sys/riscv/vmm/riscv.h
133
int riscv_check_ipi(struct hypctx *hypctx, bool clear);
sys/riscv/vmm/vmm.c
551
if (riscv_check_ipi(vcpu->cookie, false))
sys/riscv/vmm/vmm_riscv.c
591
if (riscv_check_ipi(hypctx, true))