disk_init          81 src/dps8/dps8_disk.h void disk_init(void);
disk_init        4620 src/dps8/dps8_sys.c   disk_init ();