Make freeing pages not require the pool lock,
[pintos-anon] / src / lib / kernel /
drwxr-xr-x   ..
-rw-r--r-- 8346 bitmap.c
-rw-r--r-- 1589 bitmap.h
-rw-r--r-- 3468 console.c
-rw-r--r-- 157 console.h
-rw-r--r-- 8589 hash.c
-rw-r--r-- 3372 hash.h
-rw-r--r-- 10846 list.c
-rw-r--r-- 5524 list.h