kstat_irqs_cpu
cnt = kstat_irqs_cpu(irq, 0);
seq_printf(p, "%10u ", kstat_irqs_cpu(irq, cpu));
extern unsigned int kstat_irqs_cpu(unsigned int irq, int cpu);