Searched refs:riscv_send_ipi (Results 1 – 3 of 3) sorted by relevance
155 void riscv_send_ipi(struct hyp *hyp, cpuset_t *cpus);
174 riscv_send_ipi(hyp, &cpus); in vmm_sbi_handle_ipi()
537 riscv_send_ipi(struct hyp *hyp, cpuset_t *cpus) in riscv_send_ipi() function