/seL4-test-master/tools/seL4/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-test-master/projects/musllibc/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-test-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-test-master/tools/seL4/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-test-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-test-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...] |
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-test-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...] |
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-test-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))
|
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-test-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-test-master/projects/musllibc/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-test-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-test-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-test-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-test-master/tools/seL4/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-test-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)
|
/seL4-test-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-test-master/tools/nanopb/tests/site_scons/ |
H A D | site_init.py | 23 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 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...] |