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

/seL4-camkes-master/kernel/include/object/
H A Dcap.h19 cap_t cleanupInfo; member in struct:finaliseCap_ret
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c119 fc_ret.cleanupInfo = cap_null_cap_new();
132 fc_ret.cleanupInfo = cap_null_cap_new();
153 fc_ret.cleanupInfo = cap_null_cap_new();
159 fc_ret.cleanupInfo = cap_null_cap_new();
176 fc_ret.cleanupInfo = cap_null_cap_new();
208 fc_ret.cleanupInfo = cap_null_cap_new();
231 fc_ret.cleanupInfo = cap_null_cap_new();
239 fc_ret.cleanupInfo = cap_null_cap_new();
249 fc_ret.cleanupInfo = cap;
256 fc_ret.cleanupInfo
[all...]
H A Dcnode.c28 cap_t cleanupInfo; member in struct:finaliseSlot_ret
33 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) argument
590 postCapDeletion(cleanupInfo);
629 ret.cleanupInfo = fc_ret.cleanupInfo;
638 ret.cleanupInfo = fc_ret.cleanupInfo;
646 ret.cleanupInfo
[all...]
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c118 fc_ret.cleanupInfo = cap_null_cap_new();
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c224 fc_ret.cleanupInfo = cap;
288 fc_ret.cleanupInfo = cap_null_cap_new();
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c139 fc_ret.cleanupInfo = cap_null_cap_new();
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c116 fc_ret.cleanupInfo = cap_null_cap_new();
/seL4-camkes-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c247 fc_ret.cleanupInfo = cap_null_cap_new();
/seL4-camkes-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c234 fc_ret.cleanupInfo = cap_null_cap_new();

Completed in 107 milliseconds