Change interface of addrspace_load() to provide initial stack pointer.
[pintos-anon] / src / misc /
drwxr-xr-x   ..
-rw-r--r-- 7211 bochs-2.1.1.patch