K 10 svn:author V 7 attilio K 8 svn:date V 27 2010-01-24T18:16:38.768183Z K 7 svn:log V 205 Split out an invariant in order to better check that newtd, when provided, must be on a runqueue. Tested by: Giovanni Trematerra MFC: 2 weeks X-MFC: r202889 END