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

/seL4-refos-master/kernel/src/object/
H A Dobjecttype.c106 finaliseCap_ret_t fc_ret; local
118 fc_ret.remainder = cap_null_cap_new();
119 fc_ret.cleanupInfo = cap_null_cap_new();
120 return fc_ret;
131 fc_ret.remainder = cap_null_cap_new();
132 fc_ret.cleanupInfo = cap_null_cap_new();
133 return fc_ret;
152 fc_ret.remainder = cap_null_cap_new();
153 fc_ret.cleanupInfo = cap_null_cap_new();
154 return fc_ret;
[all...]
H A Dcnode.c618 finaliseCap_ret_t fc_ret; local
624 fc_ret = finaliseCap(slot->cap, final, false);
626 if (capRemovable(fc_ret.remainder, slot)) {
629 ret.cleanupInfo = fc_ret.cleanupInfo;
633 slot->cap = fc_ret.remainder;
635 if (!immediate && capCyclicZombie(fc_ret.remainder, slot)) {
638 ret.cleanupInfo = fc_ret.cleanupInfo;
731 finaliseCap_ret_t fc_ret UNUSED;
737 fc_ret = finaliseCap(slot->cap, final, true);
739 assert(capRemovable(fc_ret
[all...]
/seL4-refos-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c55 finaliseCap_ret_t fc_ret; local
117 fc_ret.remainder = cap_null_cap_new();
118 fc_ret.cleanupInfo = cap_null_cap_new();
119 return fc_ret;
/seL4-refos-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c79 finaliseCap_ret_t fc_ret; local
138 fc_ret.remainder = cap_null_cap_new();
139 fc_ret.cleanupInfo = cap_null_cap_new();
140 return fc_ret;
/seL4-refos-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c73 finaliseCap_ret_t fc_ret; local
115 fc_ret.remainder = cap_null_cap_new();
116 fc_ret.cleanupInfo = cap_null_cap_new();
117 return fc_ret;
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dobjecttype.c182 finaliseCap_ret_t fc_ret; local
223 fc_ret.remainder = cap_null_cap_new();
224 fc_ret.cleanupInfo = cap;
225 return fc_ret;
287 fc_ret.remainder = cap_null_cap_new();
288 fc_ret.cleanupInfo = cap_null_cap_new();
289 return fc_ret;
/seL4-refos-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c145 finaliseCap_ret_t fc_ret; local
246 fc_ret.remainder = cap_null_cap_new();
247 fc_ret.cleanupInfo = cap_null_cap_new();
248 return fc_ret;
/seL4-refos-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c140 finaliseCap_ret_t fc_ret; local
233 fc_ret.remainder = cap_null_cap_new();
234 fc_ret.cleanupInfo = cap_null_cap_new();
235 return fc_ret;

Completed in 51 milliseconds