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

/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c37 static void emptySlot(cte_t *slot, cap_t cleanupInfo);
571 emptySlot(slot, fs_ret.cleanupInfo);
577 emptySlot(cte_t *slot, cap_t cleanupInfo) function
756 emptySlot(slot, cap_null_cap_new());

Completed in 27 milliseconds