config_sw_OS      635 src/dps8/dps8_iom.c     enum config_sw_OS_t config_sw_OS; // = CONFIG_SW_MULTICS;
config_sw_OS      964 src/dps8/dps8_iom.c     switch (p -> config_sw_OS)
config_sw_OS     1155 src/dps8/dps8_iom.c             p -> config_sw_OS = (enum config_sw_OS_t) v;