config_sw_OS_t    633 src/dps8/dps8_iom.c     enum config_sw_OS_t config_sw_OS; // = CONFIG_SW_MULTICS;
config_sw_OS_t   1153 src/dps8/dps8_iom.c             p -> config_sw_OS = (enum config_sw_OS_t) v;