Rename printk() to printf().
[pintos-anon] / src / threads /
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 49 Makefile
-rw-r--r-- 52 Makefile.vars
drwxr-xr-x - build
-rw-r--r-- 4986 init.c
-rw-r--r-- 150 init.h
-rw-r--r-- 11774 interrupt.c
-rw-r--r-- 2157 interrupt.h
-rw-r--r-- 618 intr-stubs.h
-rwxr-xr-x 920 intr-stubs.pl
-rw-r--r-- 5096 io.h
-rw-r--r-- 569 kernel.lds.S
-rw-r--r-- 8039 loader.S
-rw-r--r-- 1344 loader.h
-rw-r--r-- 5473 malloc.c
-rw-r--r-- 261 malloc.h
-rw-r--r-- 2650 mmu.h
-rw-r--r-- 5047 paging.c
-rw-r--r-- 586 paging.h
-rw-r--r-- 3034 palloc.c
-rw-r--r-- 327 palloc.h
-rw-r--r-- 413 start.S
-rw-r--r-- 1624 switch.S
-rw-r--r-- 1116 switch.h
-rw-r--r-- 9924 synch.c
-rw-r--r-- 1507 synch.h
-rw-r--r-- 11905 thread.c
-rw-r--r-- 4222 thread.h