probe irq_handler.entry, irq_handler.exit {
    printf("%s:%-16s %s irq %d dev %s\n",ctime(gettimeofday_s()), pn(), symname(handler),
            irq, kernel_string(dev_name))    
}