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

/seL4-test-master/kernel/include/object/
H A Dcnode.h36 void cteDeleteOne(cte_t *slot);
/seL4-test-master/kernel/src/object/
H A Dinterrupt.c157 cteDeleteOne(irqSlot);
167 cteDeleteOne(irqSlot);
176 cteDeleteOne(slot);
H A Dendpoint.c356 cteDeleteOne(callerCap);
H A Dcnode.c726 void cteDeleteOne(cte_t *slot) function
738 /* Haskell error: "cteDeleteOne: cap should be removable" */
H A Dtcb.c378 cteDeleteOne(callerSlot);
/seL4-test-master/kernel/src/kernel/
H A Dthread.c152 cteDeleteOne(slot);
159 cteDeleteOne(slot);

Completed in 95 milliseconds