tau_interrupts
u32 tau_interrupts(unsigned long cpu);
seq_put_decimal_ull_width(p, " ", tau_interrupts(j), 10);