Searched defs:copy (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c144 seL4_CPtr copy = vspace_get_cap(vspace, mapping); local
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dwalker.c127 acpi_header_t *copy = (acpi_header_t *) malloc(length); local
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_console_emul.c46 uint32_t copy; local
H A Dvirtio_net_emul.c70 uint32_t copy; local
[all...]
/seL4-test-master/kernel/tools/
H A Dlex.py43 import copy namespace
/seL4-test-master/tools/nanopb/generator/
H A Dnanopb_generator.py12 import copy namespace
/seL4-test-master/projects/musllibc/src/regex/
H A Dregcomp.c1913 tre_ast_node_t *copy; local
1948 tre_ast_node_t *tmp, *copy; local
1673 tre_copy_ast(tre_mem_t mem, tre_stack_t *stack, tre_ast_node_t *ast, int flags, int *pos_add, tre_tag_direction_t *tag_directions, tre_ast_node_t **copy, int *max_pos) argument
[all...]

Completed in 63 milliseconds