Searched refs:srcMDB (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/object/ | ||
H A D | cnode.c | 412 mdb_node_t srcMDB, newMDB; local 416 srcMDB = srcSlot->cteMDBNode; 421 newMDB = mdb_node_set_mdbPrev(srcMDB, CTE_REF(srcSlot)); |
Completed in 31 milliseconds