/seL4-camkes-master/tools/cogent/cogent/examples/iterator/ |
H A D | Makefile | 19 --cpp-args="\$$CPPIN -o \$$CPPOUT -P $(CFLAGS)" --cpp=cpp
|
/seL4-camkes-master/projects/seL4_libs/libsel4test/tools/ |
H A D | extract_results.py | 77 args = parser.parse_args() 79 data = args.input.read() 93 if not args.quiet: 111 print_tag(args.output, top)
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/sel4vchan/ |
H A D | vchan_component.h | 46 vchan_buf_t *get_vchan_buf(vchan_ctrl_t *args, camkes_vchan_con_t *c, int action);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | versioning.hpp | 38 #define MSGPACK_DETAIL_PP_MSVC_VA_ARGS_WORKAROUND(define, args) define args
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | goanna_wrapper.py | 38 def execute(args, stdout): 39 p = subprocess.Popen(args, stdout=stdout, stderr=subprocess.PIPE,
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | misc.c | 26 va_list args; local 30 va_start(args, fmt); 32 vaf.va = &args; 34 va_end(args); 53 va_list args; local 55 va_start(args, fmt); 57 vaf.va = &args; 59 va_end(args);
|
/seL4-camkes-master/projects/picotcp/ |
H A D | modcheck.py | 56 args = i.split(' ') variable 59 ret = subprocess.call(args[:-1])
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_array/ |
H A D | Makefile | 49 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 52 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_typecast/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_boolean/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_boxed_abstract/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_boxed_record/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_primints/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_unboxed_record/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_unit/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_variant/ |
H A D | Makefile | 47 --cpp-args="\$$CPPIN -o \$$CPPOUT -E -P $(CFLAGS)" \ 50 --cogent-pp-args="--noline"
|
/seL4-camkes-master/tools/cogent/cogent/tests/ |
H A D | run-test-suite.py | 446 args = ap.parse_args() 448 cogent = shutil.which(args.cogent) 450 if args.repo is not None: 451 repo = os.path.abspath(args.repo) 456 if args.phase_dir is not None: 457 phase_dir = os.path.abspath(args.phase_dir) 476 context = TestContext(repo, cogent, TEST_DIST_DIR, TEST_SCRIPT_DIR, phases, args.ignore_phases) 482 if args.validate: 495 if args.verbose is not None: 496 verbose_test_names = args [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/detail/ |
H A D | cpp11_msgpack_tuple.hpp | 79 inline tuple<Args...> make_tuple(Args&&... args) { argument 80 return tuple<Args...>(args...); 84 inline tuple<Args&&...> forward_as_tuple (Args&&... args) noexcept { 85 return tuple<Args&&...>(std::forward<Args>(args)...); 89 inline auto tuple_cat(Tuples&&... args) -> 91 std::tuple_cat(std::forward<typename std::remove_reference<Tuples>::type::base>(args)...) 93 return std::tuple_cat(std::forward<typename std::remove_reference<Tuples>::type::base>(args)...); 96 inline tuple<Args&...> tie(Args&... args) { argument 97 return tuple<Args&...>(args...);
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace): 172 args.elfloader_out.write(data) 173 args.elfloader_out.close()
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 385 callback_args_t *args = token; local 387 args->addr = ps_pmem_map(args->io_ops, pmem, false, PS_MEM_NORMAL); 388 if (!args->addr) { 402 callback_args_t *args = token; local 408 int res = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver); 429 callback_args_t args = {.io_ops = io_ops, .eth_driver = eth_driver}; local 438 error = ps_fdt_walk_registers(&io_ops->io_fdt, cookie, allocate_register_callback, &args); 442 if (args [all...] |
/seL4-camkes-master/projects/picotcp/test/python/ |
H A D | fragmentation.py | 32 h1 = Host(T, net1, args=UDPCLIENT)
|
H A D | multicast_send.py | 26 h1 = Host(T, net1, args=MCASTSEND)
|
H A D | reassembly.py | 31 h1 = Host(T, net1, args=UDPECHO)
|
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 136 args = parser.parse_args() variable 137 image = args.payload_filename[0] 139 do_load_rootservers_high = args.load_rootservers_high 140 platform = platform_sift.load_data(args.platform_filename[0])
|
/seL4-camkes-master/tools/cogent/cogent/tests/pass_bench-dargent-cg/wo_dargent/ |
H A D | Makefile | 19 --cpp-args="-std=c99 \$$CPPIN -o \$$CPPOUT -P $(CFLAGS)" --cpp=cpp \
|