Searched refs:rbt_erase (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Didx.c39 rbt_erase(node, idx_tree);
186 rbt_erase(&xnode->node, &bi->idx_hash[hash]);
H A Dgim.c39 rbt_erase(node, gim_tree);
221 rbt_erase(&gnode->node, &bi->gim_hash[hash]);
H A Drbt.c244 void rbt_erase(struct rbt_node *node, struct rbt_root *root) function
H A Dbilbyfs.h1538 void rbt_erase(struct rbt_node *, struct rbt_root *);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/lib/
H A Drbt.h87 void rbt_erase(struct rbt_node *node, struct rbt_root *root);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Drbt.h86 void rbt_erase(struct rbt_node *node, struct rbt_root *root);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Drbt.c236 void rbt_erase(struct rbt_node *node, struct rbt_root *rbt) function

Completed in 112 milliseconds