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

/seL4-mcs-10.1.1/src/object/
H A Dobjecttype.c102 finaliseCap_ret_t fc_ret; local
114 fc_ret.remainder = cap_null_cap_new();
115 fc_ret.cleanupInfo = cap_null_cap_new();
116 return fc_ret;
125 fc_ret.remainder = cap_null_cap_new();
126 fc_ret.cleanupInfo = cap_null_cap_new();
127 return fc_ret;
136 fc_ret.remainder = cap_null_cap_new();
137 fc_ret.cleanupInfo = cap_null_cap_new();
138 return fc_ret;
[all...]
H A Dcnode.c592 finaliseCap_ret_t fc_ret; local
598 fc_ret = finaliseCap(slot->cap, final, false);
600 if (capRemovable(fc_ret.remainder, slot)) {
603 ret.cleanupInfo = fc_ret.cleanupInfo;
607 slot->cap = fc_ret.remainder;
609 if (!immediate && capCyclicZombie(fc_ret.remainder, slot)) {
612 ret.cleanupInfo = fc_ret.cleanupInfo;
707 finaliseCap_ret_t fc_ret UNUSED;
713 fc_ret = finaliseCap(slot->cap, final, true);
715 assert(capRemovable(fc_ret
[all...]
/seL4-mcs-10.1.1/src/arch/x86/32/object/
H A Dobjecttype.c61 finaliseCap_ret_t fc_ret; local
123 fc_ret.remainder = cap_null_cap_new();
124 fc_ret.cleanupInfo = cap_null_cap_new();
125 return fc_ret;
/seL4-mcs-10.1.1/src/arch/riscv/object/
H A Dobjecttype.c88 finaliseCap_ret_t fc_ret; local
125 fc_ret.remainder = cap_null_cap_new();
126 fc_ret.cleanupInfo = cap_null_cap_new();
127 return fc_ret;
/seL4-mcs-10.1.1/src/arch/x86/64/object/
H A Dobjecttype.c87 finaliseCap_ret_t fc_ret; local
146 fc_ret.remainder = cap_null_cap_new();
147 fc_ret.cleanupInfo = cap_null_cap_new();
148 return fc_ret;
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dobjecttype.c186 finaliseCap_ret_t fc_ret; local
227 fc_ret.remainder = cap_null_cap_new();
228 fc_ret.cleanupInfo = cap;
229 return fc_ret;
291 fc_ret.remainder = cap_null_cap_new();
292 fc_ret.cleanupInfo = cap_null_cap_new();
293 return fc_ret;
/seL4-mcs-10.1.1/src/arch/arm/64/object/
H A Dobjecttype.c139 finaliseCap_ret_t fc_ret; local
197 fc_ret.remainder = cap_null_cap_new();
198 fc_ret.cleanupInfo = cap_null_cap_new();
199 return fc_ret;
/seL4-mcs-10.1.1/src/arch/arm/32/object/
H A Dobjecttype.c154 finaliseCap_ret_t fc_ret; local
255 fc_ret.remainder = cap_null_cap_new();
256 fc_ret.cleanupInfo = cap_null_cap_new();
257 return fc_ret;

Completed in 99 milliseconds