Fixes kernel state tracking for 32 bit x86
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Oct 2014 20:57:00 +0000 (13:57 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Oct 2014 20:57:00 +0000 (13:57 -0700)
commitbd0b549e60e27faf0c92db53a67a53838e0567db
tree08db1208e6af5ffe5767560d02259d1b612401d5
parentf09e4078ece3d3a7d4d00a656df9119b4d4cb21b
Fixes kernel state tracking for 32 bit x86

In case we ever use that again.
kern/arch/x86/trap.c