pub const PTRACE_GETREGS: i32 = 12;
Arbitrarily choose the same ptrace numbers as used by the Sparc code.