/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | camkes_lint.py | 43 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 D | posix_spawn.c | 13 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 D | to_list.hpp | 38 # 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 D | to_seq.hpp | 37 # 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 D | to_array.hpp | 27 # 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 D | common.h | 64 #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 D | common.h | 68 #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 D | pico_atsamd21j18.h | 30 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 D | http_server_linux.py | 7 h2 = Host(T, net1, args="httpd")
|
H A D | noop.py | 8 h2 = Host(T, net1, args="noop")
|
H A D | ping_linux.py | 8 h2 = Host(T, net1, args="ping:172.16.1.1:")
|
H A D | tcpbench_rx_linux.py | 7 h2 = Host(T, net1, args="tcpbench:r:6660:")
|
H A D | tcpbench_tx_linux.py | 8 h3 = Host(T, net1, args="tcpbench:t:172.16.1.1:6660:")
|
H A D | tcpecho_linux.py | 8 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 D | udpecho.py | 8 echo = Host(T, net1, args="udpecho:172.16.1.2:7770:7770:1400:")
|
H A D | howto.py | 54 # 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 D | ping.py | 8 h2 = Host(T, net1, args="ping:172.16.1.1:")
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | common.h | 65 #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 D | hardware_gen.py | 46 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 D | console.c | 125 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 D | capdl_linker.py | 44 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 D | elf_sift.py | 77 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 D | memoization.py | 44 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 D | picoapp.c | 53 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 D | util.h | 68 #define LOG_ERROR(args...) ZF_LOGE(args) 69 #define LOG_INFO(args...) ZF_LOGI(args)
|