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),