The text 1a935855ef20, as Debian 7 (Wheezy) shipped it.
called immediately after the softirq handler returns
trace_softirq_exit(9) on Linux now
