The text a88501a1b84d, as Debian 7 (Wheezy) shipped it.
Get the statistics for an interrupt on a cpu
kstat_irqs_cpu(9) on Linux now