/seL4-camkes-master/tools/cogent/cogent/examples/hello-world/ |
H A D | Makefile | 46 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/examples/recursive-list-example/ |
H A D | Makefile | 45 --cpp-args="\$$CPPIN -o \$$CPPOUT -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/examples/flip/ |
H A D | Makefile | 46 --cpp-args="-E -x c \$$CPPIN -o \$$CPPOUT -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/examples/sumofn/ |
H A D | Makefile | 46 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/examples/template/ |
H A D | Makefile | 46 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/examples/square/ |
H A D | Makefile | 45 --cpp-args="\$$CPPIN -o \$$CPPOUT -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/examples/swap-drop/ |
H A D | Makefile | 44 --cpp-args="\$$CPPIN -o \$$CPPOUT -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/fail_toplevel-polyfunc/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/fixme_char/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_serialisation/ |
H A D | Makefile | 46 cogent -g $(SRC) --infer-c-types="$(AHFILES)" --infer-c-funcs="$(ACFILES)" --cpp-args="\$$CPPIN -E -P $(CFLAGS) -o \$$CPPOUT" --ext-types=types.cfg --entry-funcs=entrypoints.cfg -O1 --fno-fncall-as-macro -ogenerated
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_wordarray/ |
H A D | Makefile | 46 cogent -g $(SRC) --infer-c-types="$(AHFILES)" --infer-c-funcs="$(ACFILES)" --cpp-args="\$$CPPIN -E -P $(CFLAGS) -o \$$CPPOUT" --ext-types=types.cfg --entry-funcs=entrypoints.cfg -Od -ogenerated
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_toplevel-polyfunc/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_iterator/ |
H A D | Makefile | 47 cogent -g $(SRC) --infer-c-types="$(AHFILES)" --infer-c-funcs="$(ACFILES)" --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" --ext-types=types.cfg -O1 -ogenerated
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/wip_static-array/ |
H A D | Makefile | 45 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/tools/cogent/impl/experimental/serial/ |
H A D | Makefile | 46 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \
|
/seL4-camkes-master/kernel/manual/tools/ |
H A D | parse_doxygen_xml.py | 558 args = process_args().parse_args() 560 if not os.path.exists(os.path.dirname(args.output)): 561 os.makedirs(os.path.dirname(args.output)) 563 if args.format == "latex": 565 elif args.format == "markdown": 568 dir_name = os.path.dirname(args.input) 580 output_str = generate_general_syscall_doc(generator, args.input, args.level, ref_dict) 582 with open(args.output, "w") as output_file:
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | fat.h | 401 #define fat_fs_error(sb, fmt, args...) \ 402 __fat_fs_error(sb, 1, fmt , ## args) 403 #define fat_fs_error_ratelimit(sb, fmt, args...) \ 404 __fat_fs_error(sb, __ratelimit(&MSDOS_SB(sb)->ratelimit), fmt , ## args) 407 #define fat_msg_ratelimit(sb, level, fmt, args...) \ 410 fat_msg(sb, level, fmt, ## args); \
|
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
H A D | alloc.c | 134 #define error(args...) do { \ 137 fprintf(stderr, args); \
|
/seL4-camkes-master/projects/musllibc/src/thread/powerpc/ |
H A D | syscall_cp.s | 14 #r3,r4: return values, first args 15 #r5-r10: args
|
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
H A D | brutal_manual.c | 88 get_block_ret_t get_block (SysState args) { argument 89 return (get_block_ret_t){ .p1 = args, .p2 = block };
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/ |
H A D | debug-vka.c | 65 #define fatal(args...) do { \ 66 fprintf(stderr, "VKA debug: " args); \ 72 #define warn(args...) do { \ 73 fprintf(stderr, "VKA debug: " args); \
|
/seL4-camkes-master/tools/pruner/ |
H A D | main.c | 402 const char *const args[] = { local 409 CXTranslationUnit tu = clang_parseTranslationUnit(index, opts->input, args, 410 sizeof(args) / sizeof(args[0]), NULL, 0, CXTranslationUnit_None);
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | mtrap.h | 63 void vprintm(const char *s, va_list args);
|
/seL4-camkes-master/projects/musllibc/src/thread/s390x/ |
H A D | clone.s | 29 # shuffle args into correct registers and call SYS_clone
|
/seL4-camkes-master/tools/cogent/cogent/examples/adder/ |
H A D | Makefile | 49 --cpp-args="\$$CPPIN -o \$$CPPOUT -P $(CFLAGS)" \
|