/seL4-refos-master/seL4_tools/misc/ |
H A D | style-py.sh | 10 autopep8 -i --max-line-length 100 "$@"
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | inet_ntop.c | 10 int i, j, max, best; local 34 for (i=best=0, max=2; buf[i]; i++) { 37 if (j>max) best=i, max=j; 39 if (max>2) { 41 memmove(buf+best+2, buf+best+max, i-best-max+1);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | qt_clust.h | 26 const int max; member in class:Clusterizer
|
H A D | amiconf.h | 11 # undef max /* this gets redefined */ macro
|
H A D | hack.h | 276 #ifndef max 277 #define max(a,b) ((a) > (b) ? (a) : (b)) macro
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | qt_clust.h | 26 const int max; member in class:Clusterizer
|
H A D | amiconf.h | 11 # undef max /* this gets redefined */ macro
|
H A D | hack.h | 276 #ifndef max 277 #define max(a,b) ((a) > (b) ? (a) : (b)) macro
|
/seL4-refos-master/libs/libmuslc/src/linux/x32/ |
H A D | sysinfo.c | 34 kulong max = tmp.totalram | tmp.totalswap; local 35 __asm__("bsr %1,%0" : "=r"(shifts) : "r"(max));
|
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | regcomp.c | 126 int max; member in struct:__anon465 170 tre_ast_new_iter(tre_mem_t mem, tre_ast_node_t *arg, int min, int max, int minimal) argument 181 iter->max = max; 471 static int add_icase_literals(struct literals *ls, int min, int max) argument 475 for (c=min; c<=max; ) { 481 for (c++, e++; c<=max; c++, e++) 485 for (c++, e++; c<=max; c++, e++) 535 int min, max; local 569 max 615 int i, max, min, negmax, negmin; local 713 int min, max; local 982 int min, max; local 1708 int max = lit->code_max; local [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
H A D | elf.c | 189 elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max) argument 222 *max = mem_max; 231 uint64_t max = min + elf_getProgramHeaderMemorySize(elfFile, ph); local 232 if (vaddr >= min && vaddr < max) {
|
/seL4-refos-master/tools/elfloader/src/binaries/elf/ |
H A D | elf.c | 189 elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max) argument 222 *max = mem_max; 231 uint64_t max = min + elf_getProgramHeaderMemorySize(elfFile, ph); local 232 if (vaddr >= min && vaddr < max) {
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | arith.h | 130 #define CLAMP(min, value, max) \ 131 ({ typeof (max) _max = (max); \
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | arith.h | 130 #define CLAMP(min, value, max) \ 131 ({ typeof (max) _max = (max); \
|
/seL4-refos-master/libs/libvterm/src/ |
H A D | unicode.c | 132 static int bisearch(wchar_t ucs, const struct interval *table, int max) { argument 136 if (ucs < table[0].first || ucs > table[max].last) 138 while (max >= min) { 139 mid = (min + max) / 2; 143 max = mid - 1;
|
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | unicode.c | 132 static int bisearch(wchar_t ucs, const struct interval *table, int max) { argument 136 if (ucs < table[0].first || ucs > table[max].last) 138 while (max >= min) { 139 mid = (min + max) / 2; 143 max = mid - 1;
|
/seL4-refos-master/libs/libelf/src/ |
H A D | elf.c | 463 int elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max) argument 492 *max = mem_max; 500 uintptr_t max = min + elf_getProgramHeaderMemorySize(elfFile, ph); local 501 if (vaddr >= min && vaddr < max) {
|
/seL4-refos-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 463 int elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max) argument 492 *max = mem_max; 500 uintptr_t max = min + elf_getProgramHeaderMemorySize(elfFile, ph); local 501 if (vaddr >= min && vaddr < max) {
|
/seL4-refos-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 155 max_reg = max(len(obj['regions']), max_reg)
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
H A D | elf.h | 226 * @param max Pointer to return value of the maximum 230 int elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max);
|
/seL4-refos-master/tools/elfloader/include/binaries/elf/ |
H A D | elf.h | 226 * @param max Pointer to return value of the maximum 230 int elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max);
|
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 367 long max = cpio_fd->size - cpio_fd->current; local 368 long len = max < iov[i].iov_len ? max : iov[i].iov_len; 414 /* pick some arbitrarily big number for max. In practice we are only constrained
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 367 long max = cpio_fd->size - cpio_fd->current; local 368 long len = max < iov[i].iov_len ? max : iov[i].iov_len; 414 /* pick some arbitrarily big number for max. In practice we are only constrained
|
/seL4-refos-master/libs/libelf/include/elf/ |
H A D | elf.h | 487 * @param max Pointer to return value of the maximum 491 int elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max);
|
/seL4-refos-master/projects/util_libs/libelf/include/elf/ |
H A D | elf.h | 487 * @param max Pointer to return value of the maximum 491 int elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max);
|