Add hash_apply() function.
[pintos-anon] / src / lib / kernel /
drwxr-xr-x   ..
-rw-r--r-- 9658 bitmap.c
-rw-r--r-- 1809 bitmap.h
-rw-r--r-- 3719 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-- 13857 list.c
-rw-r--r-- 5843 list.h
-rw-r--r-- 128 stdio.h