m5_addsymbol(addr, symbol);
}
+
+void
+do_loadsymbol(int argc, char *argv[])
+{
+ if (argc > 0)
+ usage();
+
+ m5_loadsymbol();
+}
+
void
do_initparam(int argc, char *argv[])
{
{ "execfile", do_exec_file, "" },
{ "checkpoint", do_checkpoint, "[delay [period]]" },
{ "addsymbol", do_addsymbol, "<address> <symbol>" },
+ { "loadsymbol", do_loadsymbol, "" },
{ "initparam", do_initparam, "[key] // key must be shorter than 16 chars" },
{ "sw99param", do_sw99param, "" },
#ifdef linux
void m5_switchcpu(void);
void m5_togglesync(void);
void m5_addsymbol(uint64_t addr, char *symbol);
+void m5_loadsymbol();
void m5_panic(void);
void m5_work_begin(uint64_t workid, uint64_t threadid);
void m5_work_end(uint64_t workid, uint64_t threadid);