Module Name:	src
Committed By:	bouyer
Date:		Thu Jun 28 20:50:31 UTC 2007

Modified Files:
	src/sys/arch/xen/i386: locore.S spl.S vector.S

Log Message:
Make sure to check for pending interrupts on the final STI. For this
reorganise the IPL vectors a bit so that they can be used from more
places than splllower and doreti.
Include patch from Kazushi Marukawa (fixed to handle pending interrupts),
which should fix the read_psl() == 0 assertion failure reported by
several users.


To generate a diff of this commit:
cvs rdiff -r1.25 -r1.26 src/sys/arch/xen/i386/locore.S
cvs rdiff -r1.9 -r1.10 src/sys/arch/xen/i386/spl.S
cvs rdiff -r1.18 -r1.19 src/sys/arch/xen/i386/vector.S

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