s/disk_sector_no/disk_sector_t/g

[pintos-anon] / src / filesys / filesys.c

diff --git a/src/filesys/filesys.c b/src/filesys/filesys.c
index e42ad6fc9dca9108553ff106c0c6ed6c0c7ed6de..acd712347859350b0a7ba7cdf37097e42fd96841 100644 (file)
--- a/src/filesys/filesys.c
+++ b/src/filesys/filesys.c
@@ -72,9 +72,9 @@ do_format (void)
 void
 filesys_init (bool format) 
 {
-  filesys_disk = disk_get (1);
+  filesys_disk = disk_get (0, 1);
   if (filesys_disk == NULL)
-    PANIC ("ide1:1 not present, filesystem initialization failed");
+    PANIC ("hd0:1 (hdb) not present, filesystem initialization failed");
 
   if (format) 
     do_format ();
@@ -90,7 +90,7 @@ filesys_create (const char *name, off_t initial_size)
 {
   struct dir dir;
   struct bitmap free_map;
-  disk_sector_no hdr_sector;
+  disk_sector_t hdr_sector;
   struct filehdr *filehdr;
   bool success = false;
 
@@ -139,7 +139,7 @@ bool
 filesys_open (const char *name, struct file *file)
 {
   struct dir dir;
-  disk_sector_no hdr_sector;
+  disk_sector_t hdr_sector;
   bool success = false;
 
   if (!dir_init (&dir, NUM_DIR_ENTRIES))
@@ -156,7 +156,7 @@ bool
 filesys_remove (const char *name) 
 {
   struct dir dir;
-  disk_sector_no hdr_sector;
+  disk_sector_t hdr_sector;
   struct filehdr *filehdr;
   struct bitmap free_map;
   bool success = false;