The text c6fe3316bb7a, as Debian 6.0 (Squeeze) shipped it.
printf formatting in the ftrace buffer
trace_printk(9) on Linux now
