On May 21, 2016 9:04 AM, "Brian Gerst" <brge...@gmail.com> wrote: > > Match 64-bit and set gdb_regs[GDB_PC] to zero. thread.ip is always the > same point in the scheduler (except for newly forked processes), and will > be removed in a future patch.
Seems reasonable to me.