#include "userprog/exception.h"
#endif
#ifdef FILESYS
-#include "devices/disk.h"
+#include "devices/block.h"
#include "filesys/filesys.h"
#endif
timer_print_stats ();
thread_print_stats ();
#ifdef FILESYS
- disk_print_stats ();
+ block_print_stats ();
#endif
console_print_stats ();
kbd_print_stats ();