X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fdisk.h;fp=src%2Fdevices%2Fdisk.h;h=9df00ffbf541a155d4a3a45aff25e5d0304311ab;hb=5a3263611cb5b67450f3dc1306359de9f76e0d47;hp=0000000000000000000000000000000000000000;hpb=cb9b3ab2633081588f5ef09235658454cfa6c800;p=pintos-anon

diff --git a/src/devices/disk.h b/src/devices/disk.h
new file mode 100644
index 0000000..9df00ff
--- /dev/null
+++ b/src/devices/disk.h
@@ -0,0 +1,16 @@
+#ifndef HEADER_DISK_H
+#define HEADER_DISK_H 1
+
+#include <stdint.h>
+
+#define DISK_SECTOR_SIZE 512
+
+typedef uint32_t disk_sector_no;
+
+void disk_init (void);
+struct disk *disk_get (int idx);
+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 *);
+
+#endif /* disk.h */