kvm_pv_send_ipi  1567 arch/x86/include/asm/kvm_host.h int kvm_pv_send_ipi(struct kvm *kvm, unsigned long ipi_bitmap_low,
kvm_pv_send_ipi  7495 arch/x86/kvm/x86.c 		ret = kvm_pv_send_ipi(vcpu->kvm, a0, a1, a2, a3, op_64_bit);