Home
last modified time | relevance | path

Searched refs:cteMDBNode (Results 1 – 6 of 6) sorted by relevance

/seL4-master/src/object/
A Dcnode.c416 srcMDB = srcSlot->cteMDBNode; in cteInsert()
436 destSlot->cteMDBNode = newMDB; in cteInsert()
456 mdb = srcSlot->cteMDBNode; in cteMove()
459 destSlot->cteMDBNode = mdb; in cteMove()
460 srcSlot->cteMDBNode = nullMDBNode; in cteMove()
497 mdb1 = slot1->cteMDBNode; in cteSwap()
511 mdb2 = slot2->cteMDBNode; in cteSwap()
512 slot1->cteMDBNode = mdb2; in cteSwap()
513 slot2->cteMDBNode = mdb1; in cteSwap()
573 mdbNode = slot->cteMDBNode; in emptySlot()
[all …]
A Dendpoint.c368 callerCap = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode)); in cancelIPC()
/seL4-master/src/fastpath/
A Dfastpath.c205 mdb_node_ptr_set_mdbPrev_np(&callerSlot->cteMDBNode, CTE_REF(replySlot)); in fastpath_call()
207 &replySlot->cteMDBNode, CTE_REF(callerSlot), 1, 1); in fastpath_call()
469 &CTE_PTR(mdb_node_get_mdbPrev(callerSlot->cteMDBNode))->cteMDBNode, in fastpath_reply_recv()
472 callerSlot->cteMDBNode = nullMDBNode; in fastpath_reply_recv()
/seL4-master/src/machine/
A Dcapdl.c148 for (cte_t *nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode)); in obj_ut_print_attrs()
150 nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode))) { in obj_ut_print_attrs()
/seL4-master/src/kernel/
A Dboot.c238 slot_ptr->cteMDBNode = nullMDBNode; in write_slot()
239 mdb_node_ptr_set_mdbRevocable(&slot_ptr->cteMDBNode, true); in write_slot()
240 mdb_node_ptr_set_mdbFirstBadged(&slot_ptr->cteMDBNode, true); in write_slot()
/seL4-master/include/object/
A Dstructures.h156 mdb_node_t cteMDBNode; member

Completed in 10 milliseconds