K 10
svn:author
V 5
dougm
K 8
svn:date
V 27
2020-06-12T16:51:55.684002Z
K 7
svn:log
V 276
The linuxkpi code accesses left/right rb tree pointers without using
RB_LEFT or RB_RIGHT, so they aren't stripping off the color bit
encoded there. Strip off that bit for linuxkpi.

Reported by:	dch
Reviewed by:	markj
Differential Revision:	https://reviews.freebsd.org/D25245

END