panic: SPL NOT LOWERED

[Thomas Klausner <wiz%NetBSD.org@localhost>]

Jul  2 13:22:39 yt savecore: reboot after panic: ERXNIITN G6:  0S PL NOT 
LOWERED ON TRAP EXIT 6 0 WARNING: SPL NOT LOWERED ON TRAP EXIT 6 0 WARNING: SPL 
NOT LOWERED ON TRAP EXIT 6W A0R NING: SPL NOT LOWERED ON TRAP EXIT 6 0 WARNING: 
SPL NOT LOWERED ON TRAP EXIT 6 0 WARNING: SPL NOT LOWEWRAERDN IONNG :T RSAPPL  
ENXOITT  L6O W0E RED ON TRAP EXIT 6 0 WARNIN


Kernel saved by save core is unusable:
# gdb kernel
GNU gdb (GDB) 7.3.1
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64--netbsd".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /home/wiz/analyse/kernel...(no debugging symbols 
found)...done.
(gdb) target kvm core
#0  <unavailable> in ?? ()
(gdb) bt
#0  <unavailable> in ?? ()
Backtrace stopped: Not enough registers or memory available to unwind further
(gdb)

However, with /netbsd it works:
# gdb /netbsd
GNU gdb (GDB) 7.3.1
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64--netbsd".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /netbsd...done.
(gdb) target kvm core
#0  0xffffffff805d3979 in cpu_reboot ()
(gdb) bt
#0  0xffffffff805d3979 in cpu_reboot ()
#1  0xffffffff807d6e2c in vpanic ()
#2  0xffffffff80979707 in kern_assert ()
#3  0xffffffff80822118 in VP_TO_TMPFS_DIR ()
#4  0xffffffff80821359 in tmpfs_readdir ()
#5  0xffffffff80913f13 in VOP_READDIR ()
#6  0xffffffff808f6ffb in vn_readdir ()
#7  0xffffffff808f2630 in sys___getdents30 ()
#8  0xffffffff807f4847 in syscall ()
#9  0xffffffff801006a1 in Xsyscall ()
#10 0x0000000000000005 in ?? ()
#11 0x00007f7ff770c000 in ?? ()
#12 0x0000000000001000 in ?? ()
#13 0x00007f7ff6cff1fa in ?? ()
#14 0x00007f7ff7711060 in ?? ()
#15 0x0000000000000000 in ?? ()
(gdb)

 Thomas