/seL4-camkes-master/tools/seL4/misc/ |
H A D | style-py.sh | 10 autopep8 -i --max-line-length 100 "$@"
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/ |
H A D | max.hpp | 15 # include <msgpack/preprocessor/selection/max.hpp>
|
H A D | selection.hpp | 15 # include <msgpack/preprocessor/selection/max.hpp>
|
/seL4-camkes-master/projects/musllibc/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-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sys_select.c | 70 int max = 0; local 76 if (sockfd > max) { 77 max = sockfd; 82 return max;
|
/seL4-camkes-master/projects/musllibc/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-camkes-master/projects/lwip/src/core/ |
H A D | stats.c | 110 LWIP_PLATFORM_DIAG(("max: %"MEM_SIZE_F"\n\t", mem->max)); 131 LWIP_PLATFORM_DIAG(("sem.max: %"STAT_COUNTER_F"\n\t", sys->sem.max)); 134 LWIP_PLATFORM_DIAG(("mutex.max: %"STAT_COUNTER_F"\n\t", sys->mutex.max)); 137 LWIP_PLATFORM_DIAG(("mbox.max: %"STAT_COUNTER_F"\n\t", sys->mbox.max));
|
H A D | memp.c | 284 if (desc->stats->used > desc->stats->max) { 285 desc->stats->max = desc->stats->used;
|
/seL4-camkes-master/projects/global-components/components/FileServer/src/ |
H A D | server.c | 98 size_t max = fs_ctrl_buf_size(client); local 100 size = MIN(size, max);
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | memalloc.c | 58 * max 4gig alignment. If you need more, use some other 407 testalloc(unsigned long min, unsigned long max) argument 413 size1 = myrand() % ((max-min)+1) + min; 422 size2 = myrand() % ((max-min)+1) + min; 438 unsigned long max = TEST_LARGE_MAXALLOC; local 453 if (max == TEST_SMALL_MAXALLOC) { 455 max = TEST_LARGE_MAXALLOC; 458 max = TEST_SMALL_MAXALLOC; 465 ring_alloc[i] = testalloc(min, max);
|
H A D | pgalloc.c | 304 * Load [min,max] as available addresses. 307 bmk_pgalloc_loadmem(unsigned long min, unsigned long max) argument 317 bmk_assert(max > min); 320 max = bmk_trunc_page(max); 323 min, max)); 330 bitmap_size = ((max-min) >> (BMK_PCPU_PAGE_SHIFT+3)) + 1; 334 range = max - min; 337 maxpage_addr = (void *)max;
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | jansson_private.h | 19 /* On some platforms, max() may already be defined */ 20 #ifndef max 21 #define max(a, b) ((a) > (b) ? (a) : (b)) macro
|
H A D | strbuffer.c | 86 new_size = max(strbuff->size * STRBUFFER_FACTOR,
|
/seL4-camkes-master/tools/rumprun/ |
H A D | global.mk | 30 LDFLAGS.x86_64.hw= -z max-page-size=0x1000
|
/seL4-camkes-master/projects/musllibc/src/regex/ |
H A D | regcomp.c | 126 int max; member in struct:__anon466 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-camkes-master/tools/seL4/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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | sysdep.h | 63 /* numeric_limits<T>::min,max */ 64 # ifdef max 65 # undef max macro
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/ |
H A D | module.c | 62 #define NODE_SIZE max(sizeof(BilbyFsRbtIndexNode), sizeof(BilbyFsRbtGimNode))
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | stats.h | 105 mem_size_t max; member in struct:stats_mem 112 STAT_COUNTER max; member in struct:stats_syselem 312 if (lwip_stats.x.max < lwip_stats.x.used) { \ 313 lwip_stats.x.max = lwip_stats.x.used; \
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | arith.h | 130 #define CLAMP(min, value, max) \ 131 ({ typeof (max) _max = (max); \
|
/seL4-camkes-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-camkes-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 155 max_reg = max(len(obj['regions']), max_reg)
|
/seL4-camkes-master/tools/seL4/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-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | misc.c | 201 month = max(1, (date >> 5) & 0xf); 202 day = max(1, date & 0x1f) - 1;
|
/seL4-camkes-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
|