kvm_posted_intr_ipi   22 arch/x86/include/asm/entry_arch.h BUILD_INTERRUPT(kvm_posted_intr_ipi, POSTED_INTR_VECTOR)
kvm_posted_intr_ipi   34 arch/x86/include/asm/hw_irq.h extern asmlinkage void kvm_posted_intr_ipi(void);
kvm_posted_intr_ipi  135 arch/x86/kernel/idt.c 	INTG(POSTED_INTR_VECTOR,	kvm_posted_intr_ipi),