kernel -- KTR: Fix vkernel32 build.
authorVenkatesh Srinivas <me@endeavour.zapto.org>
Sat, 31 Dec 2011 05:21:51 +0000 (00:21 -0500)
committerVenkatesh Srinivas <me@endeavour.zapto.org>
Sat, 31 Dec 2011 05:21:51 +0000 (00:21 -0500)
commitcacf1050443d1dab513c7d9e60299057f1f28877
tree75ba8d9e68fe932e088e833027dec1ec4b7a9a6d
parent2cd39ed1c86032b57e9b37b4465daa5ccb0b05d6
kernel -- KTR: Fix vkernel32 build.

KTR_INFO needed to be updated for the typesafe KTR patchset.
sys/platform/vkernel/i386/trap.c