Searched refs:args (Results 51 - 75 of 208) sorted by relevance

123456789

/seL4-camkes-master/projects/picotcp/test/python/
H A Dping_delay.py8 h2 = Host(T, net1, args="ping:172.16.1.1:")
H A Dzmq_linux.py10 h2 = Host(T, net1, args="zeromq_prod:")
/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Dyaml.py28 args: argparse.Namespace):
29 if not args.yaml_out:
42 yaml.dump(yaml_obj, args.yaml_out)
43 args.yaml_out.close()
H A Dc_header.py80 {% 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 Dreciprocal.py44 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 Dsyscall_header_gen.py226 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 Dcircular_includes.py72 args = parser.parse_args() variable
74 sys.exit(main(args))
/seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/tx2/
H A Dplatform_init.c38 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 Dpk.c38 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 Dsyscall_header_gen.py226 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 Dsyscall_header_gen.py226 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 Dloopfull.c62 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 Dstyle.py37 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 Dfilter.py46 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 Dtimer_create.c63 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 Dgen_invocations.py123 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 Dattribute.h30 #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 DMakefile23 --cogent-pp-args="$(CPPFLAGS)"
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Model/
H A DAST_Model.py36 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 Drun_tests.py268 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 Dhypervisor.c132 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 Duntyped_gen.py115 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 Dsel4bench.h122 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 Dplatform_sift.py258 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 Dutils.c70 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...]

Completed in 319 milliseconds

123456789