/seL4-refos-master/projects/refos/impl/apps/terminal/src/ |
H A D | terminal.c | 44 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 D | terminal.c | 44 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 D | simulate.py | 32 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 D | launch_gdb.py | 19 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 D | mq_notify.c | 9 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 D | compat_strings.py | 15 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 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()
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | printf.c | 70 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 D | printf.c | 70 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 D | device_header_gen.py | 48 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 D | device_header_gen.py | 48 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 D | invocation_header_gen.py | 176 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 D | invocation_header_gen.py | 176 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 D | invocation_header_gen.py | 176 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 D | hardware_gen.py | 46 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 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))
|
/seL4-refos-master/libs/libsel4/tools/ |
H A D | invocation_header_gen.py | 176 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 D | io.h | 32 #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 D | posix_spawn.c | 13 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 D | common.h | 64 #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 D | common.h | 68 #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 D | common.h | 65 #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 D | elf_sift.py | 77 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 D | util.h | 68 #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 D | util.h | 68 #define LOG_ERROR(args...) ZF_LOGE(args) 69 #define LOG_INFO(args...) ZF_LOGI(args)
|