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

/seL4-test-master/kernel/src/machine/
H A Dcapdl.c145 for (cte_t *nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode));
146 nextPtr && isMDBParentOf(slot, nextPtr);
147 nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode))) {
148 if (!sameRegionAs(slot->cap, nextPtr->cap)) {
156 print_cap(nextPtr->cap);
/seL4-test-master/kernel/src/object/
H A Dcnode.c530 cte_t *nextPtr; local
535 for (nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode));
536 nextPtr && isMDBParentOf(slot, nextPtr);
537 nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode))) {
538 status = cteDelete(nextPtr, true);

Completed in 87 milliseconds