Created attachment 171141 [details]
Remove line of redundant always-true MPASS check.
Remove MPASS(wchan == sq->sq_wchan) as there is invariant that return value(sq) returned from sleepq_lookup, if not null, has sq->wchan = wchan where wchan is the parameter passed to sleepq_lookup.
File revision: r300109
The purpose of an assertion is to ensure that it the code is doing what is expected. In particular in this case the assertion is verifying that sleepq_lookup() did in fact return a sleepqueue with a matching wait channel.