Searched refs:args (Results 1 - 25 of 70) sorted by relevance

123

/seL4-test-master/tools/seL4/cmake-tool/simulate_scripts/
H A Dsimulate.py32 parser.add_argument('-a', '--args', dest='qemu_sim_args', type=str,
38 parser.add_argument('--extra-qemu-args', dest='qemu_sim_extra_args', type=str,
43 args = parser.parse_args()
44 return args
55 args = parse_args()
58 if args.qemu_sim_kernel_file == "":
59 qemu_sim_images_entry = "-kernel " + args.qemu_sim_initrd_file
61 qemu_sim_images_entry = "-kernel " + args.qemu_sim_kernel_file + " -initrd " + args.qemu_sim_initrd_file
64 if args
[all...]
H A Dlaunch_gdb.py19 parser.add_argument('--extra-gdb-args', dest='extra_gdb_args', type=str,
21 args = parser.parse_args()
22 return args
25 args = parse_args() variable
27 gdb_command_opts = [args.gdb_binary, args.extra_gdb_args, '-ex "target remote :1234"', args.target_executable]
/seL4-test-master/projects/musllibc/src/mq/
H A Dmq_notify.c9 struct args { struct
17 struct args *args = p; local
20 int s = args->sock;
21 void (*func)(union sigval) = args->sev->sigev_notify_function;
22 union sigval val = args->sev->sigev_value;
24 pthread_barrier_wait(&args->barrier);
34 struct args args = { .sev = sev }; local
46 args
[all...]
/seL4-test-master/kernel/tools/hardware/outputs/
H A Dcompat_strings.py15 args: argparse.Namespace):
16 if not args.compat_strings_out:
24 args.compat_strings_out.write(';'.join(sorted(compatibles)) + ';\n')
25 args.compat_strings_out.close()
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()
/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c70 const char *format, va_list args)
117 s = va_arg(args, char *);
124 p = va_arg(args, unsigned long);
131 d = va_arg(args, int);
139 d = va_arg(args, int);
146 c = va_arg(args, int);
155 ul = va_arg(args, unsigned long);
160 ul = va_arg(args, unsigned long);
209 va_list args; local
210 va_start(args, forma
69 vxprintf(write_char_fn write_char, void *payload, const char *format, va_list args) argument
243 va_list args; local
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/tools/
H A Ddevice_header_gen.py48 def main(args: argparse.Namespace):
50 with open(args.device_list) as device_list:
52 list_key = '{0}_list'.format(args.device_type)
57 'device_type': args.device_type,
61 args.header_out.write(header_contents)
62 args.header_out.close()
64 logging.fatal("Failed to parse the device list file {0}".format(args.device_list.name))
81 args = parser.parse_args() variable
83 main(args)
/seL4-test-master/kernel/libsel4/tools/
H A Dinvocation_header_gen.py176 def generate(args, invocations):
179 if args.libsel4:
182 if args.arch:
185 elif args.sel4_arch:
190 data = template.render({'header_title': header_title, 'libsel4': args.libsel4,
192 args.dest.write(data)
194 args.dest.close()
198 args = parse_args() variable
200 invocations = parse_xml(args.xml)
201 args
[all...]
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-test-master/kernel/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py176 def generate(args, invocations):
179 if args.libsel4:
182 if args.arch:
185 elif args.sel4_arch:
190 data = template.render({'header_title': header_title, 'libsel4': args.libsel4,
192 args.dest.write(data)
194 args.dest.close()
198 args = parse_args() variable
200 invocations = parse_xml(args.xml)
201 args
[all...]
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-test-master/kernel/tools/
H A Dinvocation_header_gen.py176 def generate(args, invocations):
179 if args.libsel4:
182 if args.arch:
185 elif args.sel4_arch:
190 data = template.render({'header_title': header_title, 'libsel4': args.libsel4,
192 args.dest.write(data)
194 args.dest.close()
198 args = parse_args() variable
200 invocations = parse_xml(args.xml)
201 args
[all...]
H A Dhardware_gen.py46 def main(args: argparse.Namespace):
49 cfg = config.get_arch_config(args.arch, args.addrspace_max)
50 parsed_dt = fdt.FdtParser(args.dtb)
51 rules = yaml.load(args.hardware_config, Loader=yaml.FullLoader)
52 schema = yaml.load(args.hardware_schema, Loader=yaml.FullLoader)
56 arg_dict = vars(args)
59 OUTPUTS[t].run(parsed_dt, hardware, cfg, args)
82 args = parser.parse_args() variable
84 if args
[all...]
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...]
/seL4-test-master/kernel/include/machine/
H A Dio.h32 #define printf(args...) kprintf(args)
33 #define snprintf(args...) ksnprintf(args)
37 #define printf(args...) ((void)(0))
/seL4-test-master/projects/musllibc/src/process/
H A Dposix_spawn.c13 struct args { struct
43 struct args *args = args_vp; local
44 int p = args->p[1];
45 const posix_spawn_file_actions_t *fa = args->fa;
46 const posix_spawnattr_t *restrict attr = args->attr;
49 close(args->p[0]);
131 ? &attr->__mask : &args->oldmask, 0);
133 args->exec(args
153 struct args args; local
[all...]
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dcommon.h64 #define debug_cond(cond, fmt, args...) \
67 printf(fmt, ##args); \
70 #define debug(fmt, args...) \
71 debug_cond(_DEBUG, fmt, ##args)
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dcommon.h68 #define debug_cond(cond, fmt, args...) \
71 printf(fmt, ##args); \
74 #define debug(fmt, args...) \
75 debug_cond(_DEBUG, fmt, ##args)
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dcommon.h65 #define debug_cond(cond, fmt, args...) \
68 printf(fmt, ##args); \
71 #define debug(fmt, args...) \
72 debug_cond(_DEBUG, fmt, ##args)
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py77 args = parser.parse_args() variable
78 regions = [get_memory_usage_from_file(elf, args.align)
79 for elf in args.elf_file]
80 regions.append(args.reserve)
83 if args.align:
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dutil.h68 #define LOG_ERROR(args...) ZF_LOGE(args)
69 #define LOG_INFO(args...) ZF_LOGI(args)
/seL4-test-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-test-master/tools/nanopb/tests/site_scons/
H A Dsite_init.py23 args = [env["COMMAND"]]
25 args = [str(source[0])]
28 args.extend(env['ARGS'])
30 print('Command line: ' + str(args))
31 pipe = subprocess.Popen(args,
37 print('\033[32m[ OK ]\033[0m Ran ' + args[0])
39 print('\033[31m[FAIL]\033[0m Program ' + args[0] + ' returned ' + str(result))
/seL4-test-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...]

Completed in 89 milliseconds

123