X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fdisk.c;h=1810fc4b1c474961d618a4002cb75ac4299d93a4;hb=90a1c1b159a9d6fcb6cd22239da4864af8d5b85e;hp=971f3af537288f38523d92e0807e2489870e33f6;hpb=59385cfe7f0fc5a66dfc1da7c2e5b817edbcae65;p=pintos-anon

diff --git a/src/devices/disk.c b/src/devices/disk.c
index 971f3af..1810fc4 100644
--- a/src/devices/disk.c
+++ b/src/devices/disk.c
@@ -179,7 +179,14 @@ disk_print_stats (void)
 }
 
 /* Returns the disk numbered DEV_NO--either 0 or 1 for master or
-   slave, respectively--within the channel numbered CHAN_NO. */
+   slave, respectively--within the channel numbered CHAN_NO.
+
+   Pintos uses disks this way:
+        0:0 - operating system kernel
+        0:1 - file system
+        1:0 - scratch
+        1:1 - swap
+*/
 struct disk *
 disk_get (int chan_no, int dev_no) 
 {