K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2001-03-09T03:59:50.000000Z
K 7
svn:log
V 113
Add a new informative KASSERT to ensure that a process is in the SRUN state
before we return it to cpu_switch().

END