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

/seL4-camkes-master/kernel/src/object/
H A Dcnode.c33 static void emptySlot(cte_t *slot, cap_t cleanupInfo);
562 emptySlot(slot, fs_ret.cleanupInfo);
567 static void emptySlot(cte_t *slot, cap_t cleanupInfo) function
741 emptySlot(slot, cap_null_cap_new());

Completed in 27 milliseconds