VKERNEL64: Adjust for the ktr changes (to fix build).
authorSascha Wildner <saw@online.de>
Sat, 31 Dec 2011 11:17:55 +0000 (12:17 +0100)
committerSascha Wildner <saw@online.de>
Sat, 31 Dec 2011 11:17:55 +0000 (12:17 +0100)
commitb19d1a6bfd5d631899a0511c64ff05bf55edbc8d
tree13433784aaca893ad26b2d365e3b1d2faf9fa9e9
parent2f60b541a1a5e78e27956818bda5d498f89dc586
VKERNEL64: Adjust for the ktr changes (to fix build).
sys/platform/vkernel64/x86_64/trap.c