Searched refs:new_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) argument 118 mdb_root = new_root; 120 my_kcb->mdb_root = (lvaddr_t) new_root; |
Completed in 40 milliseconds