Avoids deadlock when handle_page_fault() fails
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 8 Jul 2010 00:10:23 +0000 (17:10 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:48 +0000 (17:35 -0700)
commitc5903c593f45eda9f2f76541239ba1eec49775b4
tree9d80d94cdc82cbab90a8e4415aa526063ddbd9ce
parente861e1b83c93a73ef09e7cc7a486eeb59d304a3f
Avoids deadlock when handle_page_fault() fails

Need to unlock the proc_lock, since proc_destroy() is not an internal
function.  Also note that even if we had an mm_lock, you'd want to clean
up better and unlock, so proc_destroy() can do it's work.
kern/src/mm.c