x86_platform_ipis   23 arch/x86/include/asm/hardirq.h 	unsigned int x86_platform_ipis;	/* arch dependent */
x86_platform_ipis   92 arch/x86/kernel/irq.c 			seq_printf(p, "%10u ", irq_stats(j)->x86_platform_ipis);
x86_platform_ipis  202 arch/x86/kernel/irq.c 		sum += irq_stats(cpu)->x86_platform_ipis;
x86_platform_ipis  281 arch/x86/kernel/irq.c 	inc_irq_stat(x86_platform_ipis);