kern/37921: splhigh leak on pkgbuild

[ad%netbsd.org@localhost]

>Number:         37921
>Category:       kern
>Synopsis:       splhigh leak on pkgbuild
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Jan 30 09:35:01 +0000 2008
>Originator:     Andrew Doran
>Release:        4.99.51
>Organization:
The NetBSD Project
>Environment:
n/a
>Description:
splhigh leak detected on pkgbuild. Yesterday it panic'd with "SPL
NOT LOWERED..."

panic: kernel diagnostic assertion "ci->ci_ilevel < IPL_IPI" failed: file 
"src/sys/arch/x86/x86/pmap.c", line 2528
Stopped in pid 11944.1 (tar) at netbsd:breakpoint+0x1:  ret
db{2}> bt
breakpoint() at netbsd:breakpoint+0x1
__kernassert() at netbsd:__kernassert+0x2d
pmap_load() at netbsd:pmap_load+0x250
do_pmap_load() at netbsd:do_pmap_load+0xd
db{2}> sh reg
ds          0xf800
es          0x7
fs          0x8af0
gs          0xfa78
rdi         0x7
rsi         0x3f8
rbp         0xffff80004fec8be0
rbx         0x1
rdx         0x7
rcx         0
rax         0x1
r8          0xffffffff8096f788  copyright+0x988e8
r9          0
r10         0xffff80004fec8a00
r11         0xffffffff80285380  comcnputc
r12         0x100
r13         0xffffffff8097fa78  copyright+0xa8bd8
r14         0xffff80000885f800
r15         0xffff80004d4f0008
rip         0xffffffff804bc021  breakpoint+0x1
cs          0x8
rflags      0x246
rsp         0xffff80004fec8ae8
ss          0
netbsd:breakpoint+0x1:  ret

>How-To-Repeat:
Unknown.
>Fix:
Unknown. A quick check of arch/x86, arch/amd64, kern shows nothing
obvious.