do_boot          1827 src/dps8/dps8_cpu.c          do_boot ();
do_boot           409 src/dps8/dps8_iom.h void do_boot (void);