#define DISK_SECTOR_SIZE 512
typedef uint32_t disk_sector_no;
-#define PRDSNu PRId32 /* For use with printk(). */
+#define PRDSNu PRIu32 /* For use with printk(). */
void disk_init (void);
-struct disk *disk_get (int idx);
+struct disk *disk_get (int chan_no, int dev_no);
disk_sector_no disk_size (struct disk *);
void disk_read (struct disk *, disk_sector_no, void *);
void disk_write (struct disk *, disk_sector_no, const void *);