EISWriteCache     641 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache     707 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache     724 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache     752 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache    1931 src/dps8/dps8_eis.c         EISWriteCache(& e -> addr [k - 1]);
EISWriteCache    8099 src/dps8/dps8_eis.c     EISWriteCache (&e->ADDR2);
EISWriteCache    8380 src/dps8/dps8_eis.c     EISWriteCache (&e->ADDR2);