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

/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c538 cte_t *nextPtr; local
543 for (nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode));
544 nextPtr && isMDBParentOf(slot, nextPtr);
545 nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode))) {
546 status = cteDelete(nextPtr, true);

Completed in 81 milliseconds