core_write2      3832 src/dps8/dps8_cpu.c int core_write2 (word24 addr, word36 even, word36 odd, const char * ctx) {
core_write2      2078 src/dps8/dps8_cpu.h static inline int core_write2 (word24 addr, word36 even, word36 odd,