K 10
svn:author
V 4
jeff
K 8
svn:date
V 27
2003-04-18T05:24:10.000000Z
K 7
svn:log
V 446
 - Set the ke_cpu field in sched_add() for interrupt and realtime threads
   since they are going on the current cpu and not their previously assigned
   cpu.
 - sched_runnable() should only return true in the SMP case if the other
   processor has more than one thread that is runnable.  We can not steal
   curthread.
 - Change kseq_print() to accept the cpuid instead of a kseq pointer.  This
   makes use of this function in ddb much easier.

END