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

/seL4-test-master/kernel/src/object/
H A Dcnode.c491 mdb_node_t mdb1, mdb2; local
511 mdb2 = slot2->cteMDBNode;
512 slot1->cteMDBNode = mdb2;
515 prev_ptr = mdb_node_get_mdbPrev(mdb2);
521 next_ptr = mdb_node_get_mdbNext(mdb2);

Completed in 29 milliseconds