Searched defs:ARCH (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ | ||
| H A D | capdl.c | 23 #define ARCH 0xe0 macro |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ | ||
| H A D | capdl.c | 21 #define ARCH 0xe1 macro |
Completed in 32 milliseconds