core_write       3877 src/dps8/dps8_cpu.c int core_write (cpu_state_t * cpup, word24 addr, word36 data, const char * ctx)
core_write       2049 src/dps8/dps8_cpu.h static inline int core_write (word24 addr, word36 data, \