K 10
svn:author
V 6
julian
K 8
svn:date
V 27
2007-02-02T05:14:22.000000Z
K 7
svn:log
V 182
Move the seting of the idle_mask bits to a place where they
can't be wrong.
Also use the IDLETD bit in the thread mask to test if its an idle thread
rather than doing a PCPU access.

END