x86_platform_ipi 39 arch/x86/include/asm/entry_arch.h BUILD_INTERRUPT(x86_platform_ipi, X86_PLATFORM_IPI_VECTOR) x86_platform_ipi 33 arch/x86/include/asm/hw_irq.h extern asmlinkage void x86_platform_ipi(void); x86_platform_ipi 72 arch/x86/include/asm/trace/irq_vectors.h DEFINE_IRQ_VECTOR_EVENT(x86_platform_ipi); x86_platform_ipi 133 arch/x86/kernel/idt.c INTG(X86_PLATFORM_IPI_VECTOR, x86_platform_ipi),