user_correction  1229 src/dps8/dps8_scu.c         Multics_usecs += (uint64) scu [scu_unit_idx].user_correction;
user_correction  1293 src/dps8/dps8_scu.c     Multics_usecs += (uint64) scu [scu_unit_idx].user_correction;
user_correction  1832 src/dps8/dps8_scu.c             scu [scu_unit_idx].user_correction =
user_correction    87 src/dps8/dps8_scu.h     int64 user_correction;