Rename putchar_unlocked() to putchar_have_lock() to avoid GCC warning.
[pintos-anon] / src / lib / kernel /
drwxr-xr-x   ..
-rw-r--r-- 9658 bitmap.c
-rw-r--r-- 1809 bitmap.h
-rw-r--r-- 3727 console.c
-rw-r--r-- 157 console.h
-rw-r--r-- 1016 debug.c
-rw-r--r-- 11572 hash.c
-rw-r--r-- 3783 hash.h
-rw-r--r-- 14791 list.c
-rw-r--r-- 5843 list.h
-rw-r--r-- 128 stdio.h