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