Lines Matching refs:exception_t
25 exception_t decodeCNodeInvocation(word_t invLabel, word_t length,
28 exception_t invokeCNodeRevoke(cte_t *destSlot);
29 exception_t invokeCNodeDelete(cte_t *destSlot);
30 exception_t invokeCNodeCancelBadgedSends(cap_t cap);
31 exception_t invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
32 exception_t invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
33 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1,
35 exception_t invokeCNodeSaveCaller(cte_t *destSlot);
40 exception_t cteRevoke(cte_t *slot);
41 exception_t cteDelete(cte_t *slot, bool_t exposed);
46 exception_t ensureNoChildren(cte_t *slot);
47 exception_t ensureEmptySlot(cte_t *slot);