2 #define HEADER_DISK_H 1
7 #define DISK_SECTOR_SIZE 512
9 typedef uint32_t disk_sector_no;
10 #define PRDSNu PRId32 /* For use with printk(). */
12 void disk_init (void);
13 struct disk *disk_get (int idx);
14 disk_sector_no disk_size (struct disk *);
15 void disk_read (struct disk *, disk_sector_no, void *);
16 void disk_write (struct disk *, disk_sector_no, const void *);