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