tctr 39 src/dps8/dps8_eis.h void tctr (cpu_state_t * cpup); tctr 9386 src/dps8/dps8_ins.c tctr (cpup);