Rename printk() to printf().

[pintos-anon] / src / threads / loader.S

diff --git a/src/threads/loader.S b/src/threads/loader.S
index feb35ae2a79fd8f410501e1e71f50e42981ccbe0..9e2f37716a8da3ff48489e707b6e88ce47a21ee0 100644 (file)
--- a/src/threads/loader.S
+++ b/src/threads/loader.S
@@ -38,8 +38,8 @@
  * the copyright notices, if any, listed below.
  */
 
-#include "loader.h"
-#include "mmu.h"
+#include "threads/loader.h"
+#include "threads/mmu.h"
        
 ##############################################################################
 # Kernel loader.