The text 48ef0a6ac1d6, as Debian 8 (Jessie) shipped it.
Convert ptrace regs to GDB regs
sleeping_thread_to_gdb_regs(9) on Linux now
