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