Searched defs:ctag (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h69 cap_tag_t ctag; local
95 cap_tag_t ctag; local
121 cap_tag_t ctag; local
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h87 cap_tag_t ctag; local
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h116 cap_tag_t ctag; local
143 cap_tag_t ctag; local
161 cap_tag_t ctag; local
180 cap_tag_t ctag; local
[all...]
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h124 cap_tag_t ctag; local
163 cap_tag_t ctag; local
203 cap_tag_t ctag; local
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h144 cap_tag_t ctag; local
195 cap_tag_t ctag; local
248 cap_tag_t ctag; local
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h140 cap_tag_t ctag; local
156 cap_tag_t ctag; local
181 cap_tag_t ctag; local
201 cap_tag_t ctag; local
221 cap_tag_t ctag; local
246 cap_tag_t ctag; local
261 cap_tag_t ctag; local
276 cap_tag_t ctag; local
314 cap_tag_t ctag; local
356 cap_tag_t ctag; local
[all...]
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h429 cap_tag_t ctag; local
495 cap_tag_t ctag; local
547 cap_tag_t ctag; local

Completed in 108 milliseconds