/seL4-camkes-master/projects/picotcp/test/python/ |
H A D | dhcp.py | 20 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 D | fairness_bottleneck.py | 26 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 D | fairness_bottleneck_linux.py | 26 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 D | traceroute_nat_from_linux.py | 32 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 D | fairness.py | 26 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 D | ping_nat.py | 9 h1 = Host(T, net1, args="ping:172.16.2.1:") 11 router1 = Host(T, net1, net2, args="natbox:172.16.2.2:")
|
H A D | tcpbench-delay.py | 9 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 D | tcpbench-tap.py | 8 send1 = Host(T, net1, args="tcpbench:t:172.16.1.3:7770:") 9 recv1 = Host(T, net1, args="tcpbench:r:7770:")
|
H A D | tcpbench.py | 8 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 D | arch_fault.h | 19 #define SHOW(args...) printf(FAULT_PREFIX args)
|
/seL4-camkes-master/projects/camkes/apps/dhcp/src/ |
H A D | util.h | 33 #define dprintf(args...) printf(args) 35 #define dprintf(args...) do { } while (0)
|
/seL4-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/array/ |
H A D | enum.hpp | 24 # 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 D | seL4GDB-to.template.c | 46 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 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()
|
/seL4-camkes-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-camkes-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-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage3.py | 163 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 D | gpioQueryEngine.py | 32 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 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-camkes-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-camkes-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...] |
/seL4-camkes-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))
|