if (step)
{
/* Single step by setting t bit */
- win32_fetch_inferior_registers (get_current_regcache (), PS_REGNUM);
+ win32_fetch_inferior_registers (get_current_regcache (),
+ gdbarch_ps_regnum (current_gdbarch));
th->context.EFlags |= FLAG_TRACE_BIT;
}