K 10 svn:author V 3 imp K 8 svn:date V 27 2013-04-23T09:38:18.415802Z K 7 svn:log V 131 Update trapframe to be consistent with the changes made to regnum.h. This should fix the booting problems people have been seeing. END