user_correction  1238 src/dps8/dps8_scu.c         Multics_usecs += (uint64) scu [scu_unit_idx].user_correction;
user_correction  1302 src/dps8/dps8_scu.c     Multics_usecs += (uint64) scu [scu_unit_idx].user_correction;
user_correction  1846 src/dps8/dps8_scu.c             scu [scu_unit_idx].user_correction =
user_correction    84 src/dps8/dps8_scu.h     int64 user_correction;