Module Name:	syssrc
Committed By:	rearnsha
Date:		Sat Oct 27 16:41:00 UTC 2001

Modified Files:
	syssrc/sys/arch/arm/arm32: stubs.c

Log Message:
Set initial spl level to SPL_SERIAL, which for some strange reason
is higher than SPL_HIGH (maybe we should be fixing SPL_HIGH).

If IPL_STATCLOCK is defined, initialize spl_masks[_SPL_STATCLOCK] from
it; otherwise initialize use IPL_CLOCK.


To generate a diff of this commit:
cvs rdiff -r1.4 -r1.5 syssrc/sys/arch/arm/arm32/stubs.c

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