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