flush             689 src/dps8/dps8_eis.c static void EISWriteIdx (EISaddr *p, uint n, word36 data, bool flush)
flush             721 src/dps8/dps8_eis.c     if (flush)
flush            1071 src/dps8/dps8_eis.c static bool EISgetBitRWN (EISaddr * p, bool flush)
flush            1104 src/dps8/dps8_eis.c         EISWriteIdx (p, 0, p -> data, flush); // write data word to memory
flush            8149 src/dps8/dps8_eis.c static bool EISgetBitRWNR (EISaddr * p, bool flush)
flush            8196 src/dps8/dps8_eis.c         EISWriteIdx (p, 0, p -> data, flush); // write data word to memory