x86: Fixes bug preventing the kernel from trapping
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 17 Aug 2010 17:15:48 +0000 (10:15 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:52 +0000 (17:35 -0700)
commit5574033842fcc20d86edbdb6d064fed518211cc5
treeb31c2a88eae15952946cb256f1f7e3c6565a67e0
parent491e8bfc8624b02a07b20445a8fdb114084f122d
x86: Fixes bug preventing the kernel from trapping

You should only proc_restartcore() on a process tf, and the kernel
should return naturally.
kern/arch/i686/trap.c