/seL4-refos-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace): 172 args.elfloader_out.write(data) 173 args.elfloader_out.close()
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 385 callback_args_t *args = token; local 387 args->addr = ps_pmem_map(args->io_ops, pmem, false, PS_MEM_NORMAL); 388 if (!args->addr) { 402 callback_args_t *args = token; local 408 int res = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver); 429 callback_args_t args = {.io_ops = io_ops, .eth_driver = eth_driver}; local 438 error = ps_fdt_walk_registers(&io_ops->io_fdt, cookie, allocate_register_callback, &args); 442 if (args [all...] |
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | shoehorn.py | 136 args = parser.parse_args() variable 137 image = args.payload_filename[0] 139 do_load_rootservers_high = args.load_rootservers_high 140 platform = platform_sift.load_data(args.platform_filename[0])
|
/seL4-refos-master/libs/libmuslc/src/aio/ |
H A D | aio.c | 191 struct aio_args *args = ctx; local 192 struct aiocb *cb = args->cb; 194 int op = args->op; 202 args->err = q ? 0 : EAGAIN; 203 sem_post(&args->sem); 266 struct aio_args args = { .cb = cb, .op = op }; local 267 sem_init(&args.sem, 0, 0); 283 if (pthread_create(&td, &a, io_thread_func, &args)) { 290 while (sem_wait(&args.sem)); 291 if (args [all...] |
/seL4-refos-master/kernel/src/machine/ |
H A D | io.c | 589 va_list args; local 594 va_start(args, format); 595 ret = vprintf(&out, format, args); 596 va_end(args); 602 va_list args; local 607 va_start(args, format); 608 i = vprintf(&out, format, args); 609 va_end(args);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 492 callback_args_t *args = token; local 494 args->addr = ps_pmem_map(args->io_ops, pmem, false, PS_MEM_NORMAL); 495 if (!args->addr) { 511 callback_args_t *args = token; local 513 args->irq_id = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver); 514 if (args->irq_id < 0) { 535 callback_args_t args local [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 475 callback_args_t *args = token; local 477 args->addr = ps_pmem_map(args->io_ops, pmem, false, PS_MEM_NORMAL); 478 if (!args->addr) { 494 callback_args_t *args = token; local 496 args->irq_id = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver); 497 if (args->irq_id < 0) { 518 callback_args_t args local [all...] |
/seL4-refos-master/libs/libvterm/src/ |
H A D | state.c | 786 static int on_csi(const char *leader, const long args[], int argcount, const char *intermed, char command, void *user) argument 838 count = CSI_ARG_COUNT(args[0]); 850 count = CSI_ARG_COUNT(args[0]); 856 count = CSI_ARG_COUNT(args[0]); 862 count = CSI_ARG_COUNT(args[0]); 868 count = CSI_ARG_COUNT(args[0]); 874 count = CSI_ARG_COUNT(args[0]); 881 count = CSI_ARG_COUNT(args[0]); 888 val = CSI_ARG_OR(args[0], 1); 894 row = CSI_ARG_OR(args[ [all...] |
H A D | vterm_internal.h | 162 void vterm_push_output_vsprintf(VTerm *vt, const char *format, va_list args); 169 void vterm_state_setpen(VTermState *state, const long args[], int argcount);
|
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | state.c | 786 static int on_csi(const char *leader, const long args[], int argcount, const char *intermed, char command, void *user) argument 838 count = CSI_ARG_COUNT(args[0]); 850 count = CSI_ARG_COUNT(args[0]); 856 count = CSI_ARG_COUNT(args[0]); 862 count = CSI_ARG_COUNT(args[0]); 868 count = CSI_ARG_COUNT(args[0]); 874 count = CSI_ARG_COUNT(args[0]); 881 count = CSI_ARG_COUNT(args[0]); 888 val = CSI_ARG_OR(args[0], 1); 894 row = CSI_ARG_OR(args[ [all...] |
H A D | vterm_internal.h | 162 void vterm_push_output_vsprintf(VTerm *vt, const char *format, va_list args); 169 void vterm_state_setpen(VTermState *state, const long args[], int argcount);
|
/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | clientapi.c | 178 va_list args; local 189 va_start(args, fmt); 191 fmt, args); 192 va_end(args);
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc64/ |
H A D | clone.s | 22 # shuffle args into correct registers and call SYS_clone
|
/seL4-refos-master/kernel/manual/tools/ |
H A D | parse_doxygen_xml.py | 558 args = process_args().parse_args() 560 if not os.path.exists(os.path.dirname(args.output)): 561 os.makedirs(os.path.dirname(args.output)) 563 if args.format == "latex": 565 elif args.format == "markdown": 568 dir_name = os.path.dirname(args.input) 580 output_str = generate_general_syscall_doc(generator, args.input, args.level, ref_dict) 582 with open(args.output, "w") as output_file:
|
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | alloc.c | 134 #define error(args...) do { \ 137 fprintf(stderr, args); \
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | alloc.c | 134 #define error(args...) do { \ 137 fprintf(stderr, args); \
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/ |
H A D | syscall_cp.s | 14 #r3,r4: return values, first args 15 #r5-r10: args
|
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | debug-vka.c | 65 #define fatal(args...) do { \ 66 fprintf(stderr, "VKA debug: " args); \ 72 #define warn(args...) do { \ 73 fprintf(stderr, "VKA debug: " args); \
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | debug-vka.c | 65 #define fatal(args...) do { \ 66 fprintf(stderr, "VKA debug: " args); \ 72 #define warn(args...) do { \ 73 fprintf(stderr, "VKA debug: " args); \
|
/seL4-refos-master/libs/libmuslc/src/thread/s390x/ |
H A D | clone.s | 29 # shuffle args into correct registers and call SYS_clone
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | miiphyutil.c | 29 #define debug(fmt, args...) printf(fmt, ##args) 31 #define debug(fmt, args...)
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 1070 args = parser.parse_args() 1072 if not (args.wsize or args.cfile): 1079 if args.cfile: 1081 with open(args.cfile) as conffile: 1089 wordsize = int(args.wsize) 1096 generate_stub_file(args.arch, wordsize, args.files, args.output, args [all...] |
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | syscall_stub_gen.py | 1070 args = parser.parse_args() 1072 if not (args.wsize or args.cfile): 1079 if args.cfile: 1081 with open(args.cfile) as conffile: 1089 wordsize = int(args.wsize) 1096 generate_stub_file(args.arch, wordsize, args.files, args.output, args [all...] |
/seL4-refos-master/libs/libsel4/tools/ |
H A D | syscall_stub_gen.py | 1070 args = parser.parse_args() 1072 if not (args.wsize or args.cfile): 1079 if args.cfile: 1081 with open(args.cfile) as conffile: 1089 wordsize = int(args.wsize) 1096 generate_stub_file(args.arch, wordsize, args.files, args.output, args [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | miiphyutil.c | 50 #define debug(fmt, args...) printf(fmt, ##args) 52 #define debug(fmt, args...)
|