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

123456789

/seL4-camkes-master/projects/picotcp/test/python/
H A Ddhcp.py20 server = Host(T, net1, net2, args="dhcpserver:eth1:172.16.1.2:255.255.255.0:64:128:eth2:172.16.2.2:255.255.255.0:64:128")
22 s1 = Host(T, net1, args="dhcpclient:eth1")
23 s2 = Host(T, net1, args="dhcpclient:eth1")
24 s3 = Host(T, net1, args="dhcpclient:eth1")
25 s4 = Host(T, net1, args="dhcpclient:eth1")
26 r1 = Host(T, net2, args="dhcpclient:eth1")
27 r2 = Host(T, net2, args="dhcpclient:eth1")
28 r3 = Host(T, net2, args="dhcpclient:eth1")
29 r4 = Host(T, net2, args="dhcpclient:eth1")
H A Dfairness_bottleneck.py26 send1 = Host(T, net1, args="tcpbench:t:172.16.3.2:")
27 send2 = Host(T, net1, args="tcpbench:t:172.16.3.3:")
28 send3 = Host(T, net1, args="tcpbench:t:172.16.3.4:")
30 send4 = Host(T, net1, args="ping:172.16.3.2:")
31 send5 = Host(T, net1, args="ping:172.16.3.3:")
32 send6 = Host(T, net1, args="ping:172.16.3.4:")
35 recv1 = Host(T, net3, args="tcpbench:r:")
36 recv2 = Host(T, net3, args="tcpbench:r:")
37 recv3 = Host(T, net3, args="tcpbench:r:")
H A Dfairness_bottleneck_linux.py26 send1 = Host(T, net1, args="tcpbench:t:172.16.3.2:")
27 send2 = Host(T, net1, args="tcpbench:t:172.16.3.3:")
28 send3 = Host(T, net1, args="tcpbench:t:172.16.3.4:")
30 send4 = Host(T, net1, args="ping:172.16.3.2:")
31 send5 = Host(T, net1, args="ping:172.16.3.3:")
32 send6 = Host(T, net1, args="ping:172.16.3.4:")
35 recv1 = Host(T, net3, args="tcpbench:r:")
36 recv2 = Host(T, net3, args="tcpbench:r:")
37 recv3 = Host(T, net3, args="tcpbench:r:")
H A Dtraceroute_nat_from_linux.py32 router1 = Host(T, net1, net2, args="natbox:172.16.2.1")
33 router2 = Host(T, net2, net3, args="natbox:172.16.3.1")
34 router3 = Host(T, net3, net4, args="natbox:172.16.4.1")
35 router4 = Host(T, net4, net5, args="natbox:172.16.5.1")
36 router5 = Host(T, net5, net6, args="natbox:172.16.6.1")
37 router6 = Host(T, net6, net7, args="natbox:172.16.7.1")
38 router7 = Host(T, net7, net8, args="natbox:172.16.8.1")
H A Dfairness.py26 send1 = Host(T, net1, args="tcpbench:t:172.16.3.2:")
27 send2 = Host(T, net1, args="tcpbench:t:172.16.3.3:")
28 send3 = Host(T, net1, args="tcpbench:t:172.16.3.4:")
30 send4 = Host(T, net1, args="ping:172.16.3.2:")
31 send5 = Host(T, net1, args="ping:172.16.3.3:")
32 send6 = Host(T, net1, args="ping:172.16.3.4:")
35 recv1 = Host(T, net3, args="tcpbench:r:")
36 recv2 = Host(T, net3, args="tcpbench:r:")
37 recv3 = Host(T, net3, args="tcpbench:r:")
38 recv4 = Host(T, net3, args
[all...]
H A Dping_nat.py9 h1 = Host(T, net1, args="ping:172.16.2.1:")
11 router1 = Host(T, net1, net2, args="natbox:172.16.2.2:")
H A Dtcpbench-delay.py9 send1 = Host(T, net1, args="tcpbench:t:172.16.1.3:7770:")
10 recv1 = Host(T, net1, args="tcpbench:r:7770:", delay1="30", loss1="1")
H A Dtcpbench-tap.py8 send1 = Host(T, net1, args="tcpbench:t:172.16.1.3:7770:")
9 recv1 = Host(T, net1, args="tcpbench:r:7770:")
H A Dtcpbench.py8 send1 = Host(T, net1, args="tcpbench:t:172.16.1.2:7770:")
9 recv1 = Host(T, net1, args="tcpbench:r:7770:")
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Darch_fault.h19 #define SHOW(args...) printf(FAULT_PREFIX args)
/seL4-camkes-master/projects/camkes/apps/dhcp/src/
H A Dutil.h33 #define dprintf(args...) printf(args)
35 #define dprintf(args...) do { } while (0)
/seL4-camkes-master/tools/seL4/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-camkes-master/projects/musllibc/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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/array/
H A Denum.hpp24 # define MSGPACK_PP_ARRAY_ENUM_I(m, args) MSGPACK_PP_ARRAY_ENUM_II(m, args)
25 # define MSGPACK_PP_ARRAY_ENUM_II(m, args) MSGPACK_PP_CAT(m ## args,)
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4GDB-to.template.c46 static stop_reason_t find_stop_reason(seL4_Word fault_type, seL4_Word *args) { argument
48 seL4_Word exception_reason = args[1];
49 ZF_LOGD("MR 0: %zX", args[0]);
50 ZF_LOGD("MR 1: %zX", args[1]);
51 ZF_LOGD("MR 2: %zX", args[2]);
52 ZF_LOGD("MR 3: %zX", args[3]);
53 ZF_LOGD("Breakpoint number %zu", args[1]);
56 gdb_state.stop_watch_addr = args[2];
79 ZF_LOGE("MR 0: %zX", args[0]);
80 ZF_LOGE("MR 1: %zX", args[
98 seL4_Word args[4]; local
[all...]
/seL4-camkes-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()
/seL4-camkes-master/tools/seL4/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-camkes-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-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage3.py163 def _lift_assembly_decl(location, *args):
164 if len(args) == 2:
165 id, assembly_defn = args
168 assembly_defn = args[0]
173 def _lift_assembly_defn(location, *args):
174 compositions = [x for x in args if isinstance(x, Composition)]
177 configurations = [x for x in args if isinstance(x, Configuration)]
192 def _lift_attribute_reference(location, *args):
194 args = list(args)
[all...]
H A DgpioQueryEngine.py32 def resolve(self, args):
33 assert isinstance(args, list)
34 assert len(args) == 1
36 if 'pins' not in args[0]:
39 resolved['query'] = [{'desired-pins': args[0]['pins']}]
/seL4-camkes-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-camkes-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-camkes-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...]
/seL4-camkes-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))

Completed in 257 milliseconds

123456789