Searched refs:MAX_UL (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/src/arch/arm/32/machine/ | ||
| H A D | capdl.c | 14 #define MAX_UL 0xffffffff macro 160 while (i < MAX_UL) { 200 while (i < MAX_UL) { 454 while (i < MAX_UL) { |
Completed in 62 milliseconds