Rename printk() to printf().
[pintos-anon] / src / lib / kernel /
drwxr-xr-x   ..
-rw-r--r-- 6440 bitmap.c
-rw-r--r-- 1810 bitmap.h
-rw-r--r-- 8770 hash.c
-rw-r--r-- 3136 hash.h
-rw-r--r-- 10748 list.c
-rw-r--r-- 5503 list.h
-rw-r--r-- 668 printf.c