Searched refs:kvmhv_rm_send_ipi (Results 1 – 2 of 2) sorted by relevance
202 void kvmhv_rm_send_ipi(int cpu) in kvmhv_rm_send_ipi() function247 kvmhv_rm_send_ipi(cpu); in kvmhv_interrupt_vcore()
63 kvmhv_rm_send_ipi(hcpu); in icp_send_hcore_msg()164 kvmhv_rm_send_ipi(cpu); in icp_rm_set_vcpu_irq()