/seL4-camkes-master/projects/picotcp/test/python/ |
H A D | ping_delay.py | 8 h2 = Host(T, net1, args="ping:172.16.1.1:")
|
H A D | zmq_linux.py | 10 h2 = Host(T, net1, args="zeromq_prod:")
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | yaml.py | 28 args: argparse.Namespace): 29 if not args.yaml_out: 42 yaml.dump(yaml_obj, args.yaml_out) 43 args.yaml_out.close()
|
H A D | c_header.py | 80 {% if args.arch == 'arm' %} 161 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace): 162 if not args.header_out: 172 'args': args, 181 args.header_out.write(data) 182 args.header_out.close()
|
/seL4-camkes-master/kernel/tools/ |
H A D | reciprocal.py | 44 args = parser.parse_args() 46 magic, shift_amt = magicgu(2**32 - 1, args.divisor) 53 q1, q2 = (i / args.divisor, do_div(i)) 58 print("Success! Use (n * %d) >> %d to calculate n / %d" % (magic, shift_amt, args.divisor))
|
H A D | syscall_header_gen.py | 226 args = parse_args() variable 228 (api, debug) = parse_xml(args.xml, args.mcs) 229 args.xml.close() 231 if (args.kernel_header is not None): 232 generate_kernel_file(args.kernel_header, api, debug) 233 args.kernel_header.close() 235 if (args.libsel4_header is not None): 236 generate_libsel4_file(args.libsel4_header, api + debug) 237 args [all...] |
H A D | circular_includes.py | 72 args = parser.parse_args() variable 74 sys.exit(main(args))
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/tx2/ |
H A D | platform_init.c | 38 uint64_t args[NR_SMC_REGS]; member in struct:mce_regs 65 regs.args[0] = cmd.data; 66 regs.args[1] = data; 68 *err = (uint32_t)regs.args[3];
|
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | pk.c | 38 static size_t parse_args(arg_buf* args) argument 40 long r = frontend_syscall(SYS_getmainvars, va2pa(args), sizeof(*args), 0, 0, 0, 0, 0); 42 panic("args must not exceed %d bytes", (int)sizeof(arg_buf)); 45 uint64_t* pk_argv = &args->buf[1]; 47 size_t pk_argc = args->buf[0], arg = 1; 52 args->argv[i] = (char*)(uintptr_t)pk_argv[arg + i]; 149 arg_buf args; local 150 size_t argc = parse_args(&args); 158 load_elf(args [all...] |
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | syscall_header_gen.py | 226 args = parse_args() variable 228 (api, debug) = parse_xml(args.xml, args.mcs) 229 args.xml.close() 231 if (args.kernel_header is not None): 232 generate_kernel_file(args.kernel_header, api, debug) 233 args.kernel_header.close() 235 if (args.libsel4_header is not None): 236 generate_libsel4_file(args.libsel4_header, api + debug) 237 args [all...] |
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_header_gen.py | 226 args = parse_args() variable 228 (api, debug) = parse_xml(args.xml, args.mcs) 229 args.xml.close() 231 if (args.kernel_header is not None): 232 generate_kernel_file(args.kernel_header, api, debug) 233 args.kernel_header.close() 235 if (args.libsel4_header is not None): 236 generate_libsel4_file(args.libsel4_header, api + debug) 237 args [all...] |
/seL4-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | loopfull.c | 62 static inline u32 seq32_0(t3 args) argument 67 fargs.acc = args.acc; 68 for (i = args.frm; i < args.to; i++) { 70 fargs.acc = dispatch_t2(args.f, fargs);
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | style.py | 37 args = parser.parse_args() 39 filters = parse_filters(args.filters) 43 args.files = filter(os.path.isfile, args.files) 45 for fname in args.files:
|
H A D | filter.py | 46 args = parser.parse_args() 48 filters = parse_filters(args.filters) 49 for fname in args.files:
|
/seL4-camkes-master/projects/musllibc/src/time/ |
H A D | timer_create.c | 63 struct start_args *args = arg; local 68 self->start = (void *(*)(void *))args->sev->sigev_notify_function; 69 self->start_arg = args->sev->sigev_value.sival_ptr; 71 pthread_barrier_wait(&args->b); 87 struct start_args args; local 113 pthread_barrier_init(&args.b, 0, 2); 114 args.sev = evp; 117 r = pthread_create(&td, &attr, start, &args); 131 pthread_barrier_wait(&args.b);
|
/seL4-camkes-master/kernel/manual/tools/ |
H A D | gen_invocations.py | 123 args = parser.parse_args() 125 if args.dtd is not None: 126 dtd = etree.DTD(args.dtd) 127 for f in args.files: 130 logging.error("Failed to validate %s against %s" % (f, args.dtd)) 134 if not os.path.exists(os.path.dirname(args.output)): 135 os.makedirs(os.path.dirname(args.output)) 137 with open(args.output, "w") as output: 138 gen_invocations(args.files, output)
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | attribute.h | 30 #define ALLOC_SIZE(args...) __attribute__((alloc_size(args))) 31 #define ASSUME_ALIGNED(args...) __attribute__((assume_aligned(args))) 55 #define NONNULL(args...) __attribute__((__nonnull__(args)))
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/flags/pass_flags_cpp/ |
H A D | Makefile | 23 --cogent-pp-args="$(CPPFLAGS)"
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Model/ |
H A D | AST_Model.py | 36 args = argparse.ArgumentParser() 37 args.add_argument('--import-path', '-I', help='Add this path to the list of paths to ' 51 parse_args = args.parse_args(import_arguments)
|
/seL4-camkes-master/tools/cogent/regression/ |
H A D | run_tests.py | 268 args = parser.parse_args() 271 if not args.legacy: 272 test_xml = sorted(xrglob(args.directory, "tests.xml", args.exclude)) 273 tests = testspec.parse_test_files(test_xml, strict=args.strict) 276 tests = testspec.legacy_testspec(args.directory) 279 if args.list: 286 if len(args.tests) == 0: 289 desired_names = set(args.tests) 317 print_test_line_start(t.name, verbose=args [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | hypervisor.c | 132 call.args[0] = a0; 133 call.args[1] = a1; 134 call.args[2] = a2; 135 call.args[3] = a3; 136 call.args[4] = a4;
|
/seL4-camkes-master/projects/capdl/cdl_utils/ |
H A D | untyped_gen.py | 115 def main(args): 116 arch = lookup_architecture(args.architecture) 117 addresses = yaml.load(args.input) 118 object_sizes = yaml.load(args.object_sizes) 125 kernel_elf = ELFFile(args.kernel_elf) 133 if args.dtb_size: 134 dtb_region = Region(next_paddr, round_up(next_paddr + args.dtb_size, PAGE_SIZE)) 142 if args.paddr_top is not None: 143 start = min(start, args.paddr_top) 144 end = min(end, args [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ |
H A D | sel4bench.h | 122 uint32_t* args = (uint32_t*)data; local 123 uint32_t mask = args[0]; 124 ccnt_t* values = (ccnt_t*)args[1]; 135 args[0] = sel4bench_private_get_ccnt(); 221 uint32_t args[2] = {mask, (uint32_t)values}; 224 seL4_DebugRun(&sel4bench_private_get_counters, args); 225 return args[0];
|
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | platform_sift.py | 258 args = parser.parse_args() variable 262 'array_symbol': args.array_symbol, 263 'array_length_symbol': args.array_length_symbol, 264 'structure_tag_symbol': args.structure_tag_symbol, 267 for yaml_filename in args.platform_filename: 269 use_c=args.emit_c_syntax):
|
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | utils.c | 70 static void ppp_logit(int level, const char *fmt, va_list args); 121 va_list args; local 124 va_start(args, fmt); 125 n = ppp_vslprintf(buf, buflen, fmt, args); 126 va_end(args); 131 * ppp_vslprintf - like ppp_slprintf, takes a va_list instead of a list of args. 135 int ppp_vslprintf(char *buf, int buflen, const char *fmt, va_list args) { argument 178 width = va_arg(args, int); 189 prec = va_arg(args, int); 208 val = va_arg(args, lon 605 ppp_logit(int level, const char *fmt, va_list args) argument [all...] |