Add hash_apply() function.
[pintos-anon] / solutions /
drwxr-xr-x   ..
-rw-r--r-- 150 README
-rw-r--r-- 22998 p1.patch
-rw-r--r-- 27595 p2.patch
-rw-r--r-- 56875 p3.patch
-rw-r--r-- 116609 p4.patch