Rename printk() to printf().
[pintos-anon] / src / filesys /
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 49 Makefile
-rw-r--r-- 89 Makefile.vars
drwxr-xr-x - build
-rw-r--r-- 4121 directory.c
-rw-r--r-- 1152 directory.h
-rw-r--r-- 3915 file.c
-rw-r--r-- 699 file.h
-rw-r--r-- 3316 filehdr.c
-rw-r--r-- 1098 filehdr.h
-rw-r--r-- 11896 filesys.c
-rw-r--r-- 496 filesys.h
-rw-r--r-- 3169 fsutil.c
-rw-r--r-- 322 fsutil.h
-rw-r--r-- 244 off_t.h