X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fdevices%2Fshutdown.c;h=7ff9a95adbe080893eef291ca96c937afdf8d44b;hp=42b67df57bc533b1681d1afb964dc1634e3b0930;hb=a03618133f7df0954802a470a4bee7674f7aed45;hpb=94618414d6e0e051cf95e900c63ed2835ed16a82

diff --git a/src/devices/shutdown.c b/src/devices/shutdown.c
index 42b67df..7ff9a95 100644
--- a/src/devices/shutdown.c
+++ b/src/devices/shutdown.c
@@ -10,7 +10,7 @@
 #include "userprog/exception.h"
 #endif
 #ifdef FILESYS
-#include "devices/disk.h"
+#include "devices/block.h"
 #include "filesys/filesys.h"
 #endif
 
@@ -121,7 +121,7 @@ print_stats (void)
   timer_print_stats ();
   thread_print_stats ();
 #ifdef FILESYS
-  disk_print_stats ();
+  block_print_stats ();
 #endif
   console_print_stats ();
   kbd_print_stats ();