Re: port-xen/46313: xen instance throws evtchn_do_event: handler 0xffffffff80120c17 didn't lower ipl 8 7

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

On Mon, Apr 09, 2012 at 12:00:01AM +0000, Charlie Root wrote:
> >Description:
>       
> Apr  8 15:15:23 admin /netbsd: evtchn_do_event: handler 0xffffffff80120c17 
> didn't lower ipl 8 7
> 
> This is also repeatable with running Xen under VMWare with linux dom0 and 
> amd64 domu (my original testbed).

This is a known issue. The problem is that a interrupt handler (most
likely something called from hardclock() called from the clock interrupt
handler) failed returns at a higher IPL than it was called. I've never
took time to investigate further.
The message is annoying but harmless because the Xen interrupt code will
restore the right IPL. But I think the underlying bug is real and may
cause problems on other ports ...

-- 
Manuel Bouyer <bouyer%antioche.eu.org@localhost>
     NetBSD: 26 ans d'experience feront toujours la difference
--