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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dcnode.h41 exception_t cteDelete(cte_t *slot, bool_t exposed);
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dtcb.c40 e = cteDelete(rootSlot, true);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c321 return cteDelete(destSlot, true);
546 status = cteDelete(nextPtr, true);
561 cteDelete(cte_t *slot, bool_t exposed) function
695 status = cteDelete(endSlot, false);
H A Dtcb.c1420 e = cteDelete(rootSlot, true);
1434 e = cteDelete(rootSlot, true);
1448 e = cteDelete(bufferSlot, true);

Completed in 45 milliseconds