Searched refs:cteDelete (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | tcb.c | 36 e = cteDelete(rootSlot, true);
|
/seL4-test-master/kernel/include/object/ |
H A D | cnode.h | 35 exception_t cteDelete(cte_t *slot, bool_t exposed);
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | smmu.c | 157 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 D | cnode.c | 322 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 D | tcb.c | 1675 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