X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilehdr.c;h=58179128ae27782bfbc5c4b1fdf5af244484ec4f;hb=b6b1e6db07a20a0b3025c2ae62a58e80c1af841b;hp=eafe2114704bc8b09eb324a9b6bf26f79deacedf;hpb=f6580e9ad405b519dbe85027691bf3c66074b0a4;p=pintos-anon

diff --git a/src/filesys/filehdr.c b/src/filesys/filehdr.c
index eafe211..5817912 100644
--- a/src/filesys/filehdr.c
+++ b/src/filesys/filehdr.c
@@ -1,8 +1,8 @@
-#include "filehdr.h"
-#include "filesys.h"
-#include "lib/bitmap.h"
-#include "lib/debug.h"
-#include "lib/lib.h"
+#include "filesys/filehdr.h"
+#include <bitmap.h>
+#include <debug.h>
+#include <stdio.h>
+#include "filesys/filesys.h"
 #include "threads/malloc.h"
 
 /* Allocates sectors from bitmap B for the content of a file
@@ -122,7 +122,7 @@ filehdr_print (const struct filehdr *h)
 {
   size_t i;
   
-  printk ("File header: %jd bytes, %zd sectors (",
+  printf ("File header: %jd bytes, %zd sectors (",
           (intmax_t) h->length, h->sector_cnt);
 
   /* This loop could be unsafe for large h->sector_cnt, can you
@@ -130,8 +130,8 @@ filehdr_print (const struct filehdr *h)
   for (i = 0; i < h->sector_cnt; i++) 
     {
       if (i != 0)
-        printk (", ");
-      printk ("%jd", (intmax_t) h->sectors[i]); 
+        printf (", ");
+      printf ("%jd", (intmax_t) h->sectors[i]); 
     }
-  printk (")\n");
+  printf (")\n");
 }