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

/seL4-test-master/kernel/src/object/
H A Dcnode.c491 mdb_node_t mdb1, mdb2; local
497 mdb1 = slot1->cteMDBNode;
499 prev_ptr = mdb_node_get_mdbPrev(mdb1);
505 next_ptr = mdb_node_get_mdbNext(mdb1);
513 slot2->cteMDBNode = mdb1;

Completed in 62 milliseconds