Re: KASSERT(ci->ci_ilevel < IPL_HIGH) failed when running a linux binary

[Mindaugas Rasiukevicius <rmind%netbsd.org@localhost>]

Arnaud Lacombe <lacombar%gmail.com@localhost> wrote:
> On a -current kernel from CVS of April 2nd, my machine is crashing on
> following assertion:
> 
> KASSERT(ci->ci_ilevel < IPL_HIGH) in arch/x86/x86/pmap.c
> 
> It is fairly easy to reproduce: after a fresh reboot, while running
> grep in background, starting a linux binary in a loop is enough
> trigger the issue. <...>
> dmesg(8) of an older previous kernel attached.

Well, dmesg output is quite useless in such case.  Can you get a backtrace?
That would be a good start.

-- 
Mindaugas