The text b173e9f3effa, as Debian 6.0 (Squeeze) shipped it.
Retrieves an int value stored in user space.
function::user_int_warn(3stap) on Linux now
