pintos-os.org Git - pintos-anon/blob - src/devices/disk.h

   1 #ifndef HEADER_DISK_H
   2 #define HEADER_DISK_H 1
   3
   4 #include <inttypes.h>
   5 #include <stdint.h>
   6
   7 /* Size of a disk sector in bytes. */
   8 #define DISK_SECTOR_SIZE 512
   9
  10 /* Index of a disk sector within a disk.
  11    Good enough for disks up to 2 TB. */
  12 typedef uint32_t disk_sector_t;
  13
  14 /* Format specifier for printk(), e.g.:
  15    printk ("sector=%"PRDSNu"\n", sector); */
  16 #define PRDSNu PRIu32
  17
  18 void disk_init (void);
  19 struct disk *disk_get (int chan_no, int dev_no);
  20 disk_sector_t disk_size (struct disk *);
  21 void disk_read (struct disk *, disk_sector_t, void *);
  22 void disk_write (struct disk *, disk_sector_t, const void *);
  23
  24 #endif /* disk.h */