The text fc3fca0ec96f, as Debian 7 (Wheezy) shipped it.
called immediately before the irq action handler
trace_irq_handler_entry(9) on Linux now
