set_default_base_system 3898 src/dps8/dps8_sys.c {"DEFAULT_BASE_SYSTEM", set_default_base_system, 0, "Set configuration to defaults\n", NULL, NULL}, set_default_base_system 4554 src/dps8/dps8_sys.c set_default_base_system (0, NULL);