Searched refs:set_root (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/lib/mdb/ | ||
| H A D | mdb_tree.c | 116 static void set_root(struct cte *new_root) function 455 set_root(left); 497 set_root(right); 641 set_root(second); |
Completed in 38 milliseconds