Module Name:	src
Committed By:	scw
Date:		Sat Nov 15 08:44:18 UTC 2003

Modified Files:
	src/sys/arch/arm/arm32: cpuswitch.S

Log Message:
 - Add LOCKDEBUG-protected calls to sched_lock_idle() to cpu_switchto and
   the idle loop. They seem to have gone AWOL sometime in the past.
   Fixes port-arm/23390.
 - While here, tidy up the idle loop.
 - Add a cheap DIAGNOSTIC check for run queue sanity.


To generate a diff of this commit:
cvs rdiff -r1.40 -r1.41 src/sys/arch/arm/arm32/cpuswitch.S

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