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 <stdint.h>
   5
   6 #define DISK_SECTOR_SIZE 512
   7
   8 typedef uint32_t disk_sector_no;
   9
  10 void disk_init (void);
  11 struct disk *disk_get (int idx);
  12 disk_sector_no disk_size (struct disk *);
  13 void disk_read (struct disk *, disk_sector_no, void *);
  14 void disk_write (struct disk *, disk_sector_no, const void *);
  15
  16 #endif /* disk.h */