Searched refs:__rbt_rotate_left (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Drbt.c43 static void __rbt_rotate_left(struct rbt_node *node, struct rbt_root *rbt) function
116 __rbt_rotate_left(parent, rbt);
149 __rbt_rotate_left(gparent, rbt);
170 __rbt_rotate_left(parent, rbt);
192 __rbt_rotate_left(parent, rbt);
220 __rbt_rotate_left(other, rbt);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Drbt.c51 static void __rbt_rotate_left(struct rbt_node *node, struct rbt_root *root) function
124 __rbt_rotate_left(parent, root);
157 __rbt_rotate_left(gparent, root);
178 __rbt_rotate_left(parent, root);
200 __rbt_rotate_left(parent, root);
228 __rbt_rotate_left(other, root);

Completed in 56 milliseconds