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 #define DISK_SECTOR_SIZE 512
   8
   9 typedef uint32_t disk_sector_no;
  10 #define PRDSNu PRId32   /* For use with printk(). */
  11
  12 void disk_init (void);
  13 struct disk *disk_get (int chan_no, int dev_no);
  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 *);
  17
  18 #endif /* disk.h */