Searched refs:mdb_successor (Results 1 - 8 of 8) sorted by relevance

/barrelfish-2018-10-04/usr/bench/mdb_bench/
H A Dmdb_bench.h19 #define NEXT(c) mdb_successor(c)
/barrelfish-2018-10-04/kernel/
H A Dpaging_generic.c30 while ((next = mdb_successor(next)) && get_address(&next->cap) == faddr)
81 tmp = mdb_successor(*next);
87 tmp = mdb_successor(tmp);
233 while ((next = mdb_successor(next)) && get_address(&next->cap) == faddr) {
277 // up mdb_successor()
H A Dcap_delete.c415 next = mdb_successor(cte);
429 next = mdb_successor(next);
518 for (next = mdb_successor(prev);
520 next = mdb_successor(prev))
540 for (next = mdb_successor(prev);
542 next = mdb_successor(prev))
H A Dmonitor.c232 succ = mdb_successor(succ);
249 succ = mdb_successor(succ);
H A Dcapabilities.c1240 && (neighbour = mdb_successor(dest))
/barrelfish-2018-10-04/include/mdb/
H A Dmdb_tree.h102 struct cte *mdb_successor(struct cte *current);
/barrelfish-2018-10-04/lib/mdb/
H A Dmdb.c59 for (struct cte *next = mdb_successor(cte);
61 next = mdb_successor(next))
170 struct cte *next = mdb_successor(cte);
H A Dmdb_tree.c996 mdb_successor(struct cte *current) function

Completed in 163 milliseconds