Symbol: riscv_check_interrupts_pending
sys/riscv/vmm/riscv.h
134
bool riscv_check_interrupts_pending(struct hypctx *hypctx);
sys/riscv/vmm/vmm.c
554
if (riscv_check_interrupts_pending(vcpu->cookie))
sys/riscv/vmm/vmm_riscv.c
594
if (riscv_check_interrupts_pending(hypctx))