trace_softirq_exit(9) on Linux

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

called immediately after the softirq handler returns