cacheConfigChanged   30 src/dps8/dps8_cache.h void cacheConfigChanged (cpu_state_t * cpup, bool was);
cacheConfigChanged  589 src/dps8/dps8_cpu.c             cacheConfigChanged (cpus + cpu_unit_idx, was);
cacheConfigChanged  605 src/dps8/dps8_cpu.c             cacheConfigChanged (cpus + cpu_unit_idx, was);