Rename printk() to printf().
[pintos-anon] / src / userprog /
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 49 Makefile
-rw-r--r-- 89 Makefile.vars
-rw-r--r-- 10011 addrspace.c
-rw-r--r-- 281 addrspace.h
drwxr-xr-x - build
-rw-r--r-- 5928 exception.c
-rw-r--r-- 111 exception.h
-rw-r--r-- 4990 gdt.c
-rw-r--r-- 431 gdt.h
-rw-r--r-- 383 syscall.c
-rw-r--r-- 103 syscall.h
-rw-r--r-- 3407 tss.c
-rw-r--r-- 177 tss.h