Searched defs:args (Results 1 - 25 of 31) sorted by relevance

12

/seL4-test-master/kernel/tools/
H A D	circular_includes.py	72 args = parser.parse_args() variable
H A D	invocation_header_gen.py	198 args = parse_args() variable [all...]
H A D	syscall_header_gen.py	226 args = parse_args() variable [all...]
H A D	hardware_gen.py	82 args = parser.parse_args() variable [all...]
/seL4-test-master/tools/seL4/cmake-tool/simulate_scripts/
H A D	launch_gdb.py	25 args = parse_args() variable
/seL4-test-master/projects/musllibc/src/mq/
H A D	mq_notify.c	9 struct args { struct 17 struct args *args = p; local 34 struct args args = { .sev = sev }; local [all...]
/seL4-test-master/kernel/libsel4/tools/
H A D	invocation_header_gen.py	198 args = parse_args() variable [all...]
H A D	syscall_header_gen.py	226 args = parse_args() variable [all...]
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A D	invocation_header_gen.py	198 args = parse_args() variable [all...]
H A D	syscall_header_gen.py	226 args = parse_args() variable [all...]
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A D	elf_sift.py	77 args = parser.parse_args() variable
H A D	platform_sift.py	258 args = parser.parse_args() variable
H A D	shoehorn.py	136 args = parser.parse_args() variable
/seL4-test-master/projects/util_libs/libplatsupport/tools/
H A D	device_header_gen.py	81 args = parser.parse_args() variable
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A D	helpers.h	51 char *args[HELPER_THREAD_TOTAL_ARGS]; member in struct:helper_thread
/seL4-test-master/projects/musllibc/src/process/
H A D	posix_spawn.c	13 struct args { struct 43 struct args *args = args_vp; local 153 struct args args; local [all...]
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/
H A D	sel4bench.h	122 uint32_t* args = (uint32_t*)data; local
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A D	clientapi.c	178 va_list args; local
/seL4-test-master/tools/seL4/elfloader-tool/src/
H A D	printf.c	209 va_list args; local 69 vxprintf(write_char_fn write_char, void *payload, const char *format, va_list args) argument 243 va_list args; local [all...]
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/tx2/
H A D	platform_init.c	38 uint64_t args[NR_SMC_REGS]; member in struct:mce_regs
/seL4-test-master/projects/musllibc/src/time/
H A D	timer_create.c	63 struct start_args *args = arg; local 87 struct start_args args; local
/seL4-test-master/tools/riscv-pk/pk/
H A D	pk.c	38 static size_t parse_args(arg_buf* args) argument 149 arg_buf args; local [all...]
/seL4-test-master/projects/musllibc/src/aio/
H A D	aio.c	191 struct aio_args *args = ctx; local 266 struct aio_args args = { .cb = cb, .op = op }; local [all...]
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A D	tx2.c	385 callback_args_t *args = token; local 402 callback_args_t *args = token; local 429 callback_args_t args = {.io_ops = io_ops, .eth_driver = eth_driver}; local [all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vchan/src/
H A D	vchan_component.c	103 vchan_buf_t *get_vchan_buf(vchan_ctrl_t *args, camkes_vchan_con_t *c, int action) argument 128 vchan_ctrl_t args = { local 277 vchan_ctrl_t args = { local

Completed in 155 milliseconds

12

Indexes created Thu May 23 20:32:32 MDT 2024