On Fri, Mar 29, 2013 at 1:46 PM, Davidlohr Bueso <davidlohr.bu...@hp.com> wrote: > Account for the rbtree having 2**bh(v)-1 internal nodes. > > While this can be seen as a consequence of other checks, Michel states > that it nicely sums up what the other properties are for. > > Signed-off-by: Davidlohr Bueso <davidlohr.bu...@hp.com>
Reviewed-by: Michel Lespinasse <wal...@google.com> -- Michel "Walken" Lespinasse A program is never fully debugged until the last user dies. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
