Rename printk() to printf().
[pintos-anon] / src / lib /
drwxr-xr-x   ..
-rw-r--r-- 1012 ctype.h
-rw-r--r-- 2771 debug.c
-rw-r--r-- 1826 debug.h
-rw-r--r-- 815 inttypes.h
drwxr-xr-x - kernel
-rw-r--r-- 690 limits.h
-rw-r--r-- 1616 random.c
-rw-r--r-- 200 random.h
-rw-r--r-- 569 round.h
-rw-r--r-- 419 stdarg.h
-rw-r--r-- 163 stdbool.h
-rw-r--r-- 212 stddef.h
-rw-r--r-- 1097 stdint.h
-rw-r--r-- 16561 stdio.c
-rw-r--r-- 916 stdio.h
-rw-r--r-- 772 stdlib.c
-rw-r--r-- 116 stdlib.h
-rw-r--r-- 8976 string.c
-rw-r--r-- 1135 string.h
-rw-r--r-- 966 syscall-nr.h
drwxr-xr-x - user