EISWriteCache     641 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache     707 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache     723 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache     751 src/dps8/dps8_eis.c         EISWriteCache (p);
EISWriteCache    1930 src/dps8/dps8_eis.c         EISWriteCache(& e -> addr [k - 1]);
EISWriteCache    8098 src/dps8/dps8_eis.c     EISWriteCache (&e->ADDR2);
EISWriteCache    8379 src/dps8/dps8_eis.c     EISWriteCache (&e->ADDR2);