gdb_regs_to_pt_regs(9) on Linux

The text 0053ff477efa, as Debian 9 (Stretch) shipped it. The page shows this text now.

Convert GDB regs to ptrace regs.

gdb_regs_to_pt_regs(9) on Linux now