Searched refs:args (Results 26 - 50 of 208) sorted by relevance

123456789

/seL4-camkes-master/projects/camkes-tool/tools/
H A Dcamkes_lint.py43 args = [x.id for x in node.args.args]
74 if test.values[0].left.id not in args:
101 if len(insttest.args) != 2:
104 insttest.lineno, len(insttest.args)))
107 elif not isinstance(insttest.args[0], (ast.Name, ast.Attribute)):
110 insttest.args[0].lineno))
113 elif isinstance(insttest.args[0], ast.Name) and \
114 insttest.args[
[all...]
/seL4-camkes-master/projects/musllibc/src/process/
H A Dposix_spawn.c13 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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/array/
H A Dto_list.hpp38 # define MSGPACK_PP_ARRAY_TO_LIST_I(m, args) MSGPACK_PP_ARRAY_TO_LIST_II(m, args)
39 # define MSGPACK_PP_ARRAY_TO_LIST_II(m, args) MSGPACK_PP_CAT(m ## args,)
H A Dto_seq.hpp37 # define MSGPACK_PP_ARRAY_TO_SEQ_I(m, args) MSGPACK_PP_ARRAY_TO_SEQ_II(m, args)
38 # define MSGPACK_PP_ARRAY_TO_SEQ_II(m, args) MSGPACK_PP_CAT(m ## args,)
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/tuple/
H A Dto_array.hpp27 # define MSGPACK_PP_TUPLE_TO_ARRAY_I(m, args) MSGPACK_PP_TUPLE_TO_ARRAY_II(m, args)
28 # define MSGPACK_PP_TUPLE_TO_ARRAY_II(m, args) MSGPACK_PP_CAT(m ## args,)
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dcommon.h64 #define debug_cond(cond, fmt, args...) \
67 printf(fmt, ##args); \
70 #define debug(fmt, args...) \
71 debug_cond(_DEBUG, fmt, ##args)
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dcommon.h68 #define debug_cond(cond, fmt, args...) \
71 printf(fmt, ##args); \
74 #define debug(fmt, args...) \
75 debug_cond(_DEBUG, fmt, ##args)
/seL4-camkes-master/projects/picotcp/include/arch/
H A Dpico_atsamd21j18.h30 va_list args; local
31 va_start(args, format);
32 vsnprintf(msg, 256, format, args);
33 va_end(args);
/seL4-camkes-master/projects/picotcp/test/python/
H A Dhttp_server_linux.py7 h2 = Host(T, net1, args="httpd")
H A Dnoop.py8 h2 = Host(T, net1, args="noop")
H A Dping_linux.py8 h2 = Host(T, net1, args="ping:172.16.1.1:")
H A Dtcpbench_rx_linux.py7 h2 = Host(T, net1, args="tcpbench:r:6660:")
H A Dtcpbench_tx_linux.py8 h3 = Host(T, net1, args="tcpbench:t:172.16.1.1:6660:")
H A Dtcpecho_linux.py8 h2 = Host(T, net1, args="tcpecho:8888", delay1="20", loss1="0.01")
9 #h3 = Host(T, net1, args="tcpbench:t:172.16.1.1:")
H A Dudpecho.py8 echo = Host(T, net1, args="udpecho:172.16.1.2:7770:7770:1400:")
H A Dhowto.py54 # args format for '--app'. For example, the machine below will ping the previously
56 host1_2 = Host(T, network1, args ="ping:172.16.1.1:")
102 host1_4 = Host(T, network1, args="ping:172.16.2.2:")
H A Dping.py8 h2 = Host(T, net1, args="ping:172.16.1.1:")
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dcommon.h65 #define debug_cond(cond, fmt, args...) \
68 printf(fmt, ##args); \
71 #define debug(fmt, args...) \
72 debug_cond(_DEBUG, fmt, ##args)
/seL4-camkes-master/kernel/tools/
H A Dhardware_gen.py46 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...]
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/
H A Dconsole.c125 static void print(int direct, const char *fmt, va_list args) argument
129 bmk_vsnprintf(buf, sizeof(buf), fmt, args);
154 va_list args; local
155 va_start(args, fmt);
156 print(0, fmt, args);
157 va_end(args);
162 va_list args; local
163 va_start(args, fmt);
164 print(1, fmt, args);
165 va_end(args);
[all...]
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Dcapdl_linker.py44 def final_spec(args, obj_space, cspaces, addr_spaces, targets, architecture):
71 if not args.fprovide_tcb_caps:
110 args = parser.parse_args()
111 register_object_sizes(yaml.load(args.object_sizes, Loader=yaml.FullLoader))
113 if args.which == "build_cnode":
114 data = yaml.load(args.manifest_in, Loader=yaml.FullLoader)
116 elfs = [item for sublist in args.elffile for item in sublist]
117 cspaces = [item for sublist in args.ccspace for item in sublist]
119 manifest(data['cap_symbols'], data['region_symbols'], args.architecture, targets)
122 if args
[all...]
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py77 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-camkes-master/projects/camkes-tool/camkes/internal/
H A Dmemoization.py44 def __call__(self, *args, **kwargs):
45 key = str(args) + str(kwargs)
47 self.cache[key] = self.func(*args, **kwargs)
/seL4-camkes-master/projects/picotcp/test/
H A Dpicoapp.c53 void app_udpecho(char *args);
54 void app_tcpecho(char *args);
55 void app_udpclient(char *args);
56 void app_tcpclient(char *args);
57 void app_tcpbench(char *args);
58 void app_natbox(char *args);
59 void app_udpdnsclient(char *args);
60 void app_udpnatclient(char *args);
61 void app_mcastsend(char *args);
62 void app_mcastreceive_ipv6(char *args);
622 char *name = NULL, *args = NULL; local
[all...]
/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dutil.h68 #define LOG_ERROR(args...) ZF_LOGE(args)
69 #define LOG_INFO(args...) ZF_LOGI(args)

Completed in 210 milliseconds

123456789