flush             689 src/dps8/dps8_eis.c static void EISWriteIdx (EISaddr *p, uint n, word36 data, bool flush)
flush             722 src/dps8/dps8_eis.c     if (flush)
flush            1072 src/dps8/dps8_eis.c static bool EISgetBitRWN (EISaddr * p, bool flush)
flush            1105 src/dps8/dps8_eis.c         EISWriteIdx (p, 0, p -> data, flush); // write data word to memory
flush            8150 src/dps8/dps8_eis.c static bool EISgetBitRWNR (EISaddr * p, bool flush)
flush            8197 src/dps8/dps8_eis.c         EISWriteIdx (p, 0, p -> data, flush); // write data word to memory