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

1234

/seL4-refos-master/projects/refos/impl/apps/terminal/src/
H A Dterminal.c44 static char *args[TERMINAL_INPUT_ARG_COUNT]; variable
96 if (!args[1]) {
101 snprintf(tempBuffer, 1024, "%s%s", getenv("PWD"), args[1]);
105 printf("-terminal: %s: application not found\n", args[1]);
113 if (!args[0]) return;
116 if (!strcmp(args[0], "exec")) {
118 } else if (!strcmp(args[0], "clear") || !strcmp(args[0], "cls") || !strcmp(args[0], "reset")) {
120 } else if (!strcmp(args[
[all...]
/seL4-refos-master/apps/terminal/src/
H A Dterminal.c44 static char *args[TERMINAL_INPUT_ARG_COUNT]; variable
96 if (!args[1]) {
101 snprintf(tempBuffer, 1024, "%s%s", getenv("PWD"), args[1]);
105 printf("-terminal: %s: application not found\n", args[1]);
113 if (!args[0]) return;
116 if (!strcmp(args[0], "exec")) {
118 } else if (!strcmp(args[0], "clear") || !strcmp(args[0], "cls") || !strcmp(args[0], "reset")) {
120 } else if (!strcmp(args[
[all...]
/seL4-refos-master/seL4_tools/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-refos-master/libs/libmuslc/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-refos-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-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-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-refos-master/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-refos-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...]
/seL4-refos-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...]
/seL4-refos-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))
/seL4-refos-master/libs/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...]
/seL4-refos-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-refos-master/libs/libmuslc/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-refos-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-refos-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-refos-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-refos-master/seL4_tools/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-refos-master/libs/libutils/include/utils/
H A Dutil.h68 #define LOG_ERROR(args...) ZF_LOGE(args)
69 #define LOG_INFO(args...) ZF_LOGI(args)
/seL4-refos-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)

Completed in 108 milliseconds

1234