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

/seL4-test-master/kernel/src/object/
H A Dcnode.c412 mdb_node_t srcMDB, newMDB; local
421 newMDB = mdb_node_set_mdbPrev(srcMDB, CTE_REF(srcSlot));
422 newMDB = mdb_node_set_mdbRevocable(newMDB, newCapIsRevocable);
423 newMDB = mdb_node_set_mdbFirstBadged(newMDB, newCapIsRevocable);
436 destSlot->cteMDBNode = newMDB;
438 if (mdb_node_get_mdbNext(newMDB)) {
440 &CTE_PTR(mdb_node_get_mdbNext(newMDB))->cteMDBNode,

Completed in 27 milliseconds