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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dcnode.h49 bool_t PURE slotCapLongRunningDelete(cte_t *slot);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c970 if (slotCapLongRunningDelete(
972 slotCapLongRunningDelete(
1214 if (slotCapLongRunningDelete(
1216 slotCapLongRunningDelete(
H A Dcnode.c890 slotCapLongRunningDelete(cte_t *slot) function

Completed in 89 milliseconds