disk_init          78 src/dps8/dps8_disk.h void disk_init(void);
disk_init        4525 src/dps8/dps8_sys.c   disk_init ();