The public symbol file NTKRPAMP.PDB for the original release of Windows 10 tells that the kernel is built with the RTLRBTREE.H header at


and draws from it the following type definitions:

Line Number Type
35 struct _RTL_RB_TREE
40 struct _RTL_AVL_TREE

The header RTLRBTREE.H is not known in any Device Driver Kit (DDK) or Windows Driver Kit (WDK).