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

/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c431 /* Haskell error: "cteInsert: mdb entry must be empty" */
452 mdb_node_t mdb; local
457 /* Haskell error: "cteMove: mdb entry must be empty" */
461 mdb = srcSlot->cteMDBNode;
464 destSlot->cteMDBNode = mdb;
467 prev_ptr = mdb_node_get_mdbPrev(mdb);
473 next_ptr = mdb_node_get_mdbNext(mdb);
542 always accompanied by null mdb pointers */
861 mdb_node_t mdb; local
864 mdb
[all...]

Completed in 29 milliseconds