The text d317eaa4b25b, as Debian 6.0 (Squeeze) shipped it.
The priority value of the task.
function::task_prio(3stap) on Linux now
