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

/seL4-camkes-master/kernel/src/object/
H A Dcnode.c30 typedef struct finaliseSlot_ret finaliseSlot_ret_t; typedef in typeref:struct:finaliseSlot_ret
32 static finaliseSlot_ret_t finaliseSlot(cte_t *slot, bool_t exposed);
554 finaliseSlot_ret_t fs_ret;
615 static finaliseSlot_ret_t finaliseSlot(cte_t *slot, bool_t immediate)
620 finaliseSlot_ret_t ret;

Completed in 81 milliseconds