trace_irq_handler_exit(9) on Linux

The text cb943fd41096, as Debian 9 (Stretch) shipped it. The page shows this text now.

called immediately after the irq action handler returns