Searched refs:riscv_check_ipi (Results 1 – 3 of 3) sorted by relevance
156 int riscv_check_ipi(struct hypctx *hypctx, bool clear);
557 riscv_check_ipi(struct hypctx *hypctx, bool clear) in riscv_check_ipi() function591 if (riscv_check_ipi(hypctx, true)) in riscv_sync_interrupts()
1046 if (riscv_check_ipi(vcpu->cookie, false)) in vm_handle_wfi()