kernel/pmap: Add missing opt_ddb.h include to get at DDB.
authorSascha Wildner <saw@online.de>
Wed, 5 Apr 2023 01:59:32 +0000 (03:59 +0200)
committerSascha Wildner <saw@online.de>
Wed, 5 Apr 2023 01:59:32 +0000 (03:59 +0200)
commit4a3a2ba296f3e1cbe8b53fd4198023b0a0abc24d
tree331fdd56f08a139a78df4c651af3ba21c9820a0f
parentd82151527fe8e4c6d0c44470042a46def8e5ca5c
kernel/pmap: Add missing opt_ddb.h include to get at DDB.

Also fix the printing of a backtrace in two error cases.
sys/platform/pc64/x86_64/pmap.c