source/object file of red-black tree

from linux kernel.
it is possible to compile rbtree.c to rbtree.o. but i didn't test it on
pintos 'make'.
i'm looking for the appropriate functions to access rbtree in
/kernel/sched_fair.c. queue_examples.c includes it.