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=0000000000000000000000000000000000000000;hb=a03618133f7df0954802a470a4bee7674f7aed45;hp=3bcbb9a10612d223434bae8b81bd75b72de3d4d4;hpb=bb940d21474958a1d8ee2abffdcb6bac27918398;p=pintos-anon

diff --git a/src/devices/disk.h b/src/devices/disk.h
deleted file mode 100644
index 3bcbb9a..0000000
--- a/src/devices/disk.h
+++ /dev/null
@@ -1,26 +0,0 @@
-#ifndef DEVICES_DISK_H
-#define DEVICES_DISK_H
-
-#include <inttypes.h>
-#include <stdint.h>
-
-/* Size of a disk sector in bytes. */
-#define DISK_SECTOR_SIZE 512
-
-/* Index of a disk sector within a disk.
-   Good enough for disks up to 2 TB. */
-typedef uint32_t disk_sector_t;
-
-/* Format specifier for printf(), e.g.:
-   printf ("sector=%"PRDSNu"\n", sector); */
-#define PRDSNu PRIu32
-
-void disk_init (void);
-void disk_print_stats (void);
-
-struct disk *disk_get (int chan_no, int dev_no);
-disk_sector_t disk_size (struct disk *);
-void disk_read (struct disk *, disk_sector_t, void *);
-void disk_write (struct disk *, disk_sector_t, const void *);
-
-#endif /* devices/disk.h */