| Line 50... |
Line 50... |
#include "coff.h"
|
#include "coff.h"
|
|
|
#include "gdbcomm.h"
|
#include "gdbcomm.h"
|
|
|
/* CVS revision number. */
|
/* CVS revision number. */
|
const char rcsrev[] = "$Revision: 1.51 $";
|
const char rcsrev[] = "$Revision: 1.52 $";
|
|
|
/* Continuos run versus single step tracing switch. */
|
/* Continuos run versus single step tracing switch. */
|
int cont_run;
|
int cont_run;
|
|
|
/* History of execution */
|
/* History of execution */
|
| Line 247... |
Line 247... |
lock_memory_table ();
|
lock_memory_table ();
|
|
|
uart_reset();
|
uart_reset();
|
dma_reset();
|
dma_reset();
|
eth_reset();
|
eth_reset();
|
|
gpio_reset();
|
tick_reset();
|
tick_reset();
|
pm_reset();
|
pm_reset();
|
pic_reset();
|
pic_reset();
|
mc_reset();
|
mc_reset();
|
reset();
|
reset();
|
| Line 287... |
Line 288... |
if (config.cpu.bpb) bpb_info();
|
if (config.cpu.bpb) bpb_info();
|
if (config.cpu.btic) btic_info();
|
if (config.cpu.btic) btic_info();
|
if (config.uarts_enabled) uart_status();
|
if (config.uarts_enabled) uart_status();
|
if (config.dmas_enabled) dma_status();
|
if (config.dmas_enabled) dma_status();
|
if (config.ethernets_enabled) eth_status();
|
if (config.ethernets_enabled) eth_status();
|
|
if (config.gpios_enabled) gpio_status();
|
}
|
}
|
|
|
/* Cleanup */
|
/* Cleanup */
|
void sim_done ()
|
void sim_done ()
|
{
|
{
|
| Line 535... |
Line 537... |
} else
|
} else
|
if (strcmp(item1, "reset") == 0) { /* reset simulator */
|
if (strcmp(item1, "reset") == 0) { /* reset simulator */
|
uart_reset();
|
uart_reset();
|
dma_reset();
|
dma_reset();
|
eth_reset();
|
eth_reset();
|
|
gpio_reset();
|
tick_reset();
|
tick_reset();
|
pm_reset();
|
pm_reset();
|
pic_reset();
|
pic_reset();
|
reset(); /* Old or new mode */
|
reset(); /* Old or new mode */
|
} else
|
} else
|
| Line 689... |
Line 692... |
|
|
pm_clock();
|
pm_clock();
|
if (config.uarts_enabled) uart_clock();
|
if (config.uarts_enabled) uart_clock();
|
if (config.dmas_enabled) dma_clock();
|
if (config.dmas_enabled) dma_clock();
|
if (config.ethernets_enabled) eth_clock();
|
if (config.ethernets_enabled) eth_clock();
|
|
if (config.gpios_enabled) gpio_clock();
|
if (config.sim.exe_log) dump_exe_log();
|
if (config.sim.exe_log) dump_exe_log();
|
if (config.vapi.enabled) vapi_check();
|
if (config.vapi.enabled) vapi_check();
|
if (GDB_ENABLED && debug_slowdown-- == 0) {
|
if (GDB_ENABLED && debug_slowdown-- == 0) {
|
debug_slowdown = DEBUG_SLOWDOWN;
|
debug_slowdown = DEBUG_SLOWDOWN;
|
HandleServerSocket(false); /* block & check_stdin = false */
|
HandleServerSocket(false); /* block & check_stdin = false */
|
