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