253a254
>
254a256,264
> do_loadsymbol(int argc, char *argv[])
> {
> if (argc > 0)
> usage();
>
> m5_loadsymbol();
> }
>
> void
323a334
> { "loadsymbol", do_loadsymbol, "" },