#define PRDSNu PRIu32
void disk_init (void);
+void disk_print_stats (void);
+
struct disk *disk_get (int chan_no, int dev_no);
disk_sector_t disk_size (struct disk *);
+const char *disk_name (struct disk *);
void disk_read (struct disk *, disk_sector_t, void *);
void disk_write (struct disk *, disk_sector_t, const void *);