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

/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h140 cap_tag_t ctag; local
142 ctag = cap_get_capType(cap);
144 assert(ctag == cap_small_frame_cap ||
145 ctag == cap_frame_cap);
147 if (ctag == cap_small_frame_cap) {
156 cap_tag_t ctag; local
158 ctag = cap_get_capType(cap);
159 assert(ctag == cap_small_frame_cap ||
160 ctag == cap_frame_cap);
162 if (ctag
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/arch/riscv/arch/object/
H A Dstructures.h69 cap_tag_t ctag; local
71 ctag = cap_get_capType(cap);
73 switch (ctag) {
95 cap_tag_t ctag; local
97 ctag = cap_get_capType(cap);
99 switch (ctag) {
121 cap_tag_t ctag; local
123 ctag = cap_get_capType(cap);
125 switch (ctag) {
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h116 cap_tag_t ctag; local
118 ctag = cap_get_capType(cap);
120 switch (ctag) {
143 cap_tag_t ctag; local
145 ctag = cap_get_capType(cap);
147 switch (ctag) {
161 cap_tag_t ctag; local
163 ctag = cap_get_capType(cap);
165 switch (ctag) {
180 cap_tag_t ctag; local
[all...]
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h144 cap_tag_t ctag; local
146 ctag = cap_get_capType(cap);
148 switch (ctag) {
195 cap_tag_t ctag; local
197 ctag = cap_get_capType(cap);
199 switch (ctag) {
248 cap_tag_t ctag; local
250 ctag = cap_get_capType(cap);
252 switch (ctag) {
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h124 cap_tag_t ctag; local
126 ctag = cap_get_capType(cap);
128 switch (ctag) {
163 cap_tag_t ctag; local
165 ctag = cap_get_capType(cap);
167 switch (ctag) {
203 cap_tag_t ctag; local
205 ctag = cap_get_capType(cap);
207 switch (ctag) {
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h429 cap_tag_t ctag; local
431 ctag = cap_get_capType(cap);
433 switch (ctag) {
495 cap_tag_t ctag; local
497 ctag = cap_get_capType(cap);
499 switch (ctag) {
547 cap_tag_t ctag; local
549 ctag = cap_get_capType(cap);
551 switch (ctag) {
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h87 cap_tag_t ctag; local
89 ctag = cap_get_capType(cap);
91 switch (ctag) {

Completed in 126 milliseconds