Add list_min(), list_max().
[pintos-anon] / src / lib / kernel /
drwxr-xr-x   ..
-rw-r--r-- 9154 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-- 12354 list.c
-rw-r--r-- 5680 list.h