Searched refs:kvmhv_rm_send_ipi (Results 1 – 3 of 3) sorted by relevance
204 void kvmhv_rm_send_ipi(int cpu) in kvmhv_rm_send_ipi() function235 kvmhv_rm_send_ipi(cpu); in kvmhv_interrupt_vcore()
78 kvmhv_rm_send_ipi(cpu); in icp_rm_set_vcpu_irq()
438 extern void kvmhv_rm_send_ipi(int cpu);