Rename printk() to printf().
[pintos-anon] / src / lib / user /
drwxr-xr-x   ..
-rw-r--r-- 162 entry.c
-rw-r--r-- 871 printf.c
-rw-r--r-- 41 syscall-stub.S
-rw-r--r-- 132 syscall-stub.h
-rw-r--r-- 814 syscall.c
-rw-r--r-- 441 syscall.h
-rw-r--r-- 1 user.c
-rw-r--r-- 220 user.h