kernel/x86_64: Fix kernel build without DDB.
authorSascha Wildner <saw@online.de>
Mon, 6 Aug 2012 13:53:41 +0000 (15:53 +0200)
committerSascha Wildner <saw@online.de>
Mon, 6 Aug 2012 13:53:41 +0000 (15:53 +0200)
commit1fdd109e3c5e15eaa4f20921f63659157aef5ccb
tree2afd747c73046c027144f5862dd15cbad8180de2
parent89a89091c12ec84cf9b8955493e873d019d439fa
kernel/x86_64: Fix kernel build without DDB.

Reported-by: nant
sys/platform/pc64/x86_64/trap.c