core_write 3451 src/dps8/dps8_cpu.c int core_write (word24 addr, word36 data, const char * ctx) core_write 2006 src/dps8/dps8_cpu.h static inline int core_write (word24 addr, word36 data, \