public void PopRegisters() { pushed_regs = false; check_error (mono_debugger_server_pop_registers (server_handle)); }
public void PopRegisters(Inferior inferior) { if (PushedRegisters) inferior.PopRegisters (); PushedRegisters = false; }