Home
last modified time | relevance | path

Searched refs:nullMDBNode (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/object/
A Dcnode.c460 srcSlot->cteMDBNode = nullMDBNode; in cteMove()
588 slot->cteMDBNode = nullMDBNode; in emptySlot()
768 slot->cteMDBNode = nullMDBNode; in setupReplyMaster()
/seL4-master/include/object/
A Dstructures.h160 #define nullMDBNode mdb_node_new(0, false, false, 0) macro
/seL4-master/src/fastpath/
A Dfastpath.c472 callerSlot->cteMDBNode = nullMDBNode; in fastpath_reply_recv()
/seL4-master/src/kernel/
A Dboot.c238 slot_ptr->cteMDBNode = nullMDBNode; in write_slot()

Completed in 9 milliseconds