rbus_pccbb_parent_io|rbus_pccbb_parent_io
rbus_pccbb_parent_mem|rbus_pccbb_parent_mem
rbus_delete|rbus_delete
rbus_new|rbus_new
rbus_new_root_delegate|rbus_new_root_delegate
rbus_new_root_share|rbus_new_root_share
rbus_space_alloc|rbus_space_alloc
rbus_space_alloc_subregion|rbus_space_alloc_subregion
rbus_space_free|rbus_space_free
rb_tree_find_node|rb_tree_find_node
rb_tree_find_node_geq|rb_tree_find_node_geq
rb_tree_find_node_leq|rb_tree_find_node_leq
rb_tree_init|rb_tree_init
rb_tree_insert_node|rb_tree_insert_node
rb_tree_iterate|rb_tree_iterate
rb_tree_remove_node|rb_tree_remove_node
