EISWriteCache     635 src/dps8/dps8_eis.c         EISWriteCache (cpup, p);
EISWriteCache     701 src/dps8/dps8_eis.c         EISWriteCache (cpup, p);
EISWriteCache     717 src/dps8/dps8_eis.c         EISWriteCache (cpup, p);
EISWriteCache     745 src/dps8/dps8_eis.c         EISWriteCache (cpup, p);
EISWriteCache    1929 src/dps8/dps8_eis.c         EISWriteCache(cpup, & e -> addr [k - 1]);
EISWriteCache    8164 src/dps8/dps8_eis.c     EISWriteCache (cpup, &e->ADDR2);
EISWriteCache    8445 src/dps8/dps8_eis.c     EISWriteCache (cpup, &e->ADDR2);