Searched defs:exists (Results 1 - 2 of 2) sorted by relevance
/seL4-mcs-10.1.1/src/arch/arm/32/machine/ | ||
H A D | capdl.c | 131 word_t i, exists; local 155 word_t i, exists; local [all...] |
/seL4-mcs-10.1.1/src/arch/x86/machine/ | ||
H A D | capdl.c | 125 unsigned int exists; local |
Completed in 51 milliseconds