kernel: Fix x86_64 building without 'options DDB'.
authorSascha Wildner <saw@online.de>
Thu, 17 Mar 2011 01:50:41 +0000 (02:50 +0100)
committerSascha Wildner <saw@online.de>
Thu, 17 Mar 2011 01:51:14 +0000 (02:51 +0100)
commit3f6724a90f10416f5eff5d9d8e774942e0149010
treedb13c07fa710adeb15867a7e7e15a4460120e890
parent2a5dc8a8a6e9afa2c6ed308574c7b239d456fd11
kernel: Fix x86_64 building without 'options DDB'.
sys/platform/pc64/conf/files
sys/platform/pc64/x86_64/trap.c