taglinefilesource code
ipi_count194arch/i386/kernel/irq.cipi_count);
ipi_count63arch/i386/kernel/smp.cvolatile unsigned long ipi_count;      /* Number of IPI's delivered        */
ipi_count264include/asm-i386/irq.h"incl "SYMBOL_NAME_STR(ipi_count)"\n\t" \
ipi_count186include/asm-i386/smp.hextern unsigned long ipi_count;