cacheCpuReset 28 src/dps8/dps8_cache.h void cacheCpuReset (cpu_state_t * cpup); cacheCpuReset 1040 src/dps8/dps8_cpu.c cacheCpuReset (cpup);