CVS commit: [netbsd-5] src/sys/arch/xen/xen

[Soren Jacobsen <snj%netbsd.org@localhost>]

Module Name:    src
Committed By:   snj
Date:           Tue Nov 11 02:00:06 UTC 2008

Modified Files:
        src/sys/arch/xen/xen [netbsd-5]: evtchn.c

Log Message:
Pull up following revision(s) (requested by bouyer in ticket #39):
        sys/arch/xen/xen/evtchn.c: revision 1.40
evtchn_do_event(): in our C implementation of spllower(), if a handler fails
to restore the spl (shouldn't happen, but ...), we could end up with a
higther pending ipl set and never cleared because iplbit already
handled this level. while (iplmask != 0) {} would then never be true,
and we'd end up triggering KASSERT(iplbit != 0).
Now print the faultly handler and reset the IPL, and start the whole
pending IPL handling again if needed.


To generate a diff of this commit:
cvs rdiff -r1.39 -r1.39.4.1 src/sys/arch/xen/xen/evtchn.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.