K 10 svn:author V 5 andre K 8 svn:date V 27 2012-04-24T12:15:50.569624Z K 7 svn:log V 185 Add INVARIANT and WITNESS support to rm_lock locks and optimize the synchronization path by replacing a LIST of active readers with a TAILQ. Obtained from: Isilon Submitted by: mlaier END