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

/seL4-test-master/kernel/src/object/
H A Dcnode.c554 finaliseSlot_ret_t fs_ret; local
556 fs_ret = finaliseSlot(slot, exposed);
557 if (fs_ret.status != EXCEPTION_NONE) {
558 return fs_ret.status;
561 if (exposed || fs_ret.success) {
562 emptySlot(slot, fs_ret.cleanupInfo);

Completed in 57 milliseconds