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

/seL4-test-master/kernel/src/arch/x86/object/
H A Dtcb.c36 e = cteDelete(rootSlot, true);
/seL4-test-master/kernel/include/object/
H A Dcnode.h35 exception_t cteDelete(cte_t *slot, bool_t exposed);
/seL4-test-master/kernel/src/arch/arm/object/
H A Dsmmu.c157 status = cteDelete(cbAssignSlot, true);
178 status = cteDelete(cbAssignSlot, true);
320 status = cteDelete(cbSlot, true);
359 triggered by the cteDelete*/
360 status = cteDelete(cbSlot, true);
/seL4-test-master/kernel/src/object/
H A Dcnode.c322 return cteDelete(destSlot, true);
538 status = cteDelete(nextPtr, true);
552 exception_t cteDelete(cte_t *slot, bool_t exposed) function
681 status = cteDelete(endSlot, false);
H A Dtcb.c1675 UNUSED exception_t e = cteDelete(rootSlot, true);
1680 /* cteDelete on a cap installed in the tcb cannot fail */
1733 e = cteDelete(bufferSlot, true);
1775 e = cteDelete(rootSlot, true);
1789 e = cteDelete(rootSlot, true);
1803 e = cteDelete(bufferSlot, true);

Completed in 105 milliseconds