Searched refs:args (Results 51 - 75 of 95) sorted by relevance

1234

/seL4-refos-master/kernel/tools/hardware/outputs/
H A Delfloader.py143 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 Dtx2.c385 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 Dshoehorn.py136 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 Daio.c191 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 Dio.c589 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 Dimx6.c492 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 Dzynq7000.c475 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 Dstate.c786 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 Dvterm_internal.h162 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 Dstate.c786 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 Dvterm_internal.h162 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 Dclientapi.c178 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 Dclone.s22 # shuffle args into correct registers and call SYS_clone
/seL4-refos-master/kernel/manual/tools/
H A Dparse_doxygen_xml.py558 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 Dalloc.c134 #define error(args...) do { \
137 fprintf(stderr, args); \
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/
H A Dalloc.c134 #define error(args...) do { \
137 fprintf(stderr, args); \
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/
H A Dsyscall_cp.s14 #r3,r4: return values, first args
15 #r5-r10: args
/seL4-refos-master/libs/libsel4vka/src/
H A Ddebug-vka.c65 #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 Ddebug-vka.c65 #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 Dclone.s29 # shuffle args into correct registers and call SYS_clone
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dmiiphyutil.c29 #define debug(fmt, args...) printf(fmt, ##args)
31 #define debug(fmt, args...)
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py1070 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 Dsyscall_stub_gen.py1070 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 Dsyscall_stub_gen.py1070 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 Dmiiphyutil.c50 #define debug(fmt, args...) printf(fmt, ##args)
52 #define debug(fmt, args...)

Completed in 222 milliseconds

1234