Symbol: __pv_send_ipi
arch/x86/kvm/lapic.c
884
count = __pv_send_ipi(&ipi_bitmap_low, map, &irq, min);
arch/x86/kvm/lapic.c
886
count += __pv_send_ipi(&ipi_bitmap_high, map, &irq, min);