| /seL4-test-master/projects/musllibc/src/linux/ |
| H A D | tee.c | 5 ssize_t tee(int src, int dest, size_t len, unsigned flags) argument
|
| /seL4-test-master/projects/sel4runtime/src/ |
| H A D | memset.c | 29 void *__sel4runtime_memset(void *dest, int c, sel4runtime_size_t n) argument
[all...] |
| H A D | memcpy.c | 29 void *__sel4runtime_memcpy(void *restrict dest, const void *restrict src, sel4runtime_size_t n) argument
|
| /seL4-test-master/projects/musllibc/src/network/ |
| H A D | dn_expand.c | 4 int __dn_expand(const unsigned char *base, const unsigned char *end, const unsigned char *src, char *dest, int space) argument
|
| H A D | res_querydomain.c | 4 int res_querydomain(const char *name, const char *domain, int class, int type, unsigned char *dest, int len) argument
|
| /seL4-test-master/projects/musllibc/src/string/ |
| H A D | memccpy.c | 10 void *memccpy(void *restrict dest, const void *restrict src, int c, size_t n) argument
|
| /seL4-test-master/kernel/src/ |
| H A D | string.c | 18 word_t strlcpy(char *dest, const char *src, word_t size) argument
28 word_t strlcat(char *dest, const char *src, word_t size) argument
|
| /seL4-test-master/projects/musllibc/src/time/ |
| H A D | strptime.c | 11 int i, w, neg, adj, min, range, *dest, dummy; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | device.c | 21 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq, cspacepath_t *dest) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | cspacepath_t.h | 88 seL4_Word dest; member in struct:_cspacepath_t
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/arm/ |
| H A D | arch.c | 30 static int serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, argument
|
| /seL4-test-master/tools/riscv-pk/pk/ |
| H A D | frontend.c | 40 void copy_stat(struct stat* dest, struct frontend_stat* src) argument
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 15 static inline void saveFpuState(user_fpu_state_t *dest) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | null-vka.c | 34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument
40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument
46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument
|
| /seL4-test-master/tools/riscv-pk/util/ |
| H A D | string.c | 7 void* memcpy(void* dest, const void* src, size_t len) argument
26 void* memset(void* dest, int byte, size_t len) argument
65 strcpy(char* dest, const char* src) argument
[all...] |
| /seL4-test-master/tools/seL4/elfloader-tool/src/ |
| H A D | string.c | 93 void *memmove(void *restrict dest, const void *restrict src, size_t n) argument
120 void *memcpy(void *restrict dest, const void *restrict src, size_t n) argument
[all...] |
| /seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | fpu.h | 62 static inline void saveFpuState(user_fpu_state_t *dest) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | cnodeops.c | 31 seL4_Word src, dest; local
92 seL4_Word src, dest; local
121 seL4_Word src, dest; local
154 seL4_Word src, dest; local
232 seL4_Word src, pivot, dest; local
[all...] |
| /seL4-test-master/projects/musllibc/src/misc/ |
| H A D | getopt_long.c | 9 static void permute(char *const *argv, int dest, int src) argument
|
| /seL4-test-master/projects/musllibc/src/stdio/ |
| H A D | vfscanf.c | 22 static void store_int(void *dest, int size, unsigned long long i) argument
67 void *dest=NULL; local
[all...] |
| H A D | vfwscanf.c | 23 static void store_int(void *dest, int size, unsigned long long i) argument
96 void *dest=NULL; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | vka.c | 90 static int am_vka_utspace_alloc_maybe_device (void *data, const cspacepath_t *dest, argument
118 static int am_vka_utspace_alloc (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
134 static int am_vka_utspace_alloc_at (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 76 simple_default_get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) { argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/ |
| H A D | arch.c | 24 static seL4_Error get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, argument
|
| /seL4-test-master/tools/riscv-pk/bbl/ |
| H A D | bbl.c | 32 uintptr_t dest = dtb_output(); local
|