The text fc8ee4c409a9, as Debian 7 (Wheezy) shipped it.
Convert ptrace regs to GDB regs
sleeping_thread_to_gdb_regs(9) on Linux now
