/* Activate the debugger */ int debugger_trap( void ) { return ui_debugger_activate(); }
void menu_machine_debugger( int action ) { debugger_mode = DEBUGGER_MODE_HALTED; if( paused ) ui_debugger_activate(); }