| /seL4-camkes-master/projects/musllibc/src/prng/ |
| H A D | seed48.c | 9 memcpy(p, __seed48, sizeof p);
10 memcpy(__seed48, s, sizeof p);
|
| H A D | lcong48.c | 8 memcpy(__seed48, p, sizeof __seed48);
|
| /seL4-camkes-master/projects/musllibc/src/string/ |
| H A D | mempcpy.c | 6 return (char *)memcpy(dest, src, n) + n;
|
| H A D | strerror_r.c | 11 memcpy(buf, msg, buflen-1);
16 memcpy(buf, msg, l+1);
|
| H A D | strdup.c | 10 return memcpy(d, s, l+1);
|
| H A D | strndup.c | 9 memcpy(d, s, l);
|
| /seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
| H A D | io.c | 26 memcpy(a + 1, &result, sizeof(result));
37 memcpy(a + 1, &result, sizeof(result));
46 memcpy(&fd_raw, c, sizeof(fd_raw));
47 memcpy(&n_raw, a, sizeof(n_raw));
56 memcpy(a + 1, &result, sizeof(result));
64 memcpy(&fd_raw, c, sizeof(fd_raw));
65 memcpy(&n_raw, a, sizeof(n_raw));
66 memcpy(&off_raw, a + 2, sizeof(off_raw));
76 memcpy(a + 1, &result, sizeof(result));
82 memcpy(
[all...] |
| H A D | ipc.c | 21 memcpy(&slot, a + 1, sizeof(slot));
40 memcpy(&cnode, a, sizeof(cnode));
47 memcpy(&ep, a + 1, sizeof(ep));
52 memcpy(a + offset, &len, sizeof(len));
54 memcpy(a + offset, &badge, sizeof(badge));
56 memcpy(a + offset, &seL4_GetIPCBuffer()->msg[0], len);
63 memcpy(&ep, a + offset, sizeof(ep));
66 memcpy(&len, a + offset, sizeof(len));
69 memcpy(&seL4_GetIPCBuffer()->msg[0], a + offset, len);
76 memcpy(
[all...] |
| H A D | virtqueue.c | 45 memcpy(&virtqueue_id, a + 1, sizeof(virtqueue_id));
53 memcpy(a + 1, &virtqueue, sizeof(virtqueue_device_t *));
68 memcpy(&virtqueue_id, a + 1, sizeof(virtqueue_id));
76 memcpy(a + 1, &virtqueue, sizeof(virtqueue_driver_t *));
84 memcpy(&virtqueue, a + 1, sizeof(virtqueue));
88 memcpy(a + 1, &poll_res, sizeof(poll_res));
95 memcpy(&virtqueue, a + 1, sizeof(virtqueue));
99 memcpy(a + 1, &poll_res, sizeof(poll_res));
106 memcpy(&virtqueue, a + 1, sizeof(virtqueue));
129 memcpy(
[all...] |
| H A D | args.c | 22 memcpy(a, &result, sizeof(result));
27 memcpy(&arg, a, sizeof(arg));
30 memcpy(a, &len_result, sizeof(len_result));
35 memcpy(&arg, a, sizeof(arg));
|
| /seL4-camkes-master/projects/musllibc/src/string/x86_64/ |
| H A D | memcpy.s | 1 .global memcpy
4 .type memcpy,@function
5 memcpy: label
|
| /seL4-camkes-master/projects/musllibc/src/string/x86_64_sel4/ |
| H A D | memcpy.s | 1 .global memcpy
4 .type memcpy,@function
5 memcpy: label
|
| /seL4-camkes-master/projects/musllibc/src/string/arm/ |
| H A D | __aeabi_memcpy.c | 6 memcpy(dest, src, n);
|
| /seL4-camkes-master/projects/musllibc/src/string/arm_sel4/ |
| H A D | __aeabi_memcpy.c | 6 memcpy(dest, src, n);
|
| /seL4-camkes-master/projects/musllibc/src/network/ |
| H A D | res_querydomain.c | 10 memcpy(tmp, name, nl);
12 memcpy(tmp+nl+1, domain, dl+1);
|
| /seL4-camkes-master/projects/musllibc/src/string/i386/ |
| H A D | memcpy.s | 1 .global memcpy
4 .type memcpy,@function
5 memcpy: label
|
| /seL4-camkes-master/projects/musllibc/src/string/i386_sel4/ |
| H A D | memcpy.s | 1 .global memcpy
4 .type memcpy,@function
5 memcpy: label
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | sys_select.c | 101 memcpy((char *)sock_data, readfds, sizeof(fd_set));
105 memcpy((char *)sock_data + sizeof(fd_set), writefds, sizeof(fd_set));
109 memcpy((char *)sock_data + sizeof(fd_set) * 2, exceptfds, sizeof(fd_set));
113 memcpy((char *)sock_data + sizeof(fd_set) * 3, timeout, sizeof(struct timeval));
119 memcpy(readfds, (char *)sock_data, sizeof(fd_set));
123 memcpy(writefds, (char *)sock_data + sizeof(fd_set), sizeof(fd_set));
127 memcpy(exceptfds, (char *)sock_data + sizeof(fd_set) * 2, sizeof(fd_set));
131 memcpy(timeout, (char *)sock_data + sizeof(fd_set) * 3, sizeof(struct timeval));
|
| H A D | sys_socket.c | 60 memcpy((char *)sock_data, addr, addrlen);
82 memcpy((char *)sock_data, addr, addrlen);
127 memcpy((char *)sock_data, addr, sizeof(struct sockaddr));
128 memcpy((char *)sock_data + sizeof(struct sockaddr), addrlen, sizeof(socklen_t));
135 memcpy(&errno, (void *)sock_data, sizeof(errno));
140 memcpy(addr, (char *)sock_data, sizeof(struct sockaddr));
141 memcpy(addrlen, (char *)sock_data + sizeof(struct sockaddr), sizeof(socklen_t));
178 memcpy((char *)sock_data, optval, optlen);
|
| /seL4-camkes-master/projects/musllibc/src/env/ |
| H A D | setenv.c | 22 memcpy(s, var, l1);
24 memcpy(s+l1+1, value, l2);
|
| H A D | __stack_chk_fail.c | 9 if (entropy) memcpy(&__stack_chk_guard, entropy, sizeof(uintptr_t));
|
| /seL4-camkes-master/projects/camkes/apps/testdataportrpc/ |
| H A D | client.c | 45 memcpy(s1, lorem, sizeof(s1) - 1);
56 memcpy(s1a, lorem, sizeof(s1a) - 1);
65 memcpy(s3, lorem, sizeof(s3) - 1);
76 memcpy(s3a, lorem, sizeof(s3a) - 1);
85 memcpy(s4, lorem, sizeof(s4) - 1);
96 memcpy(s4a, lorem, sizeof(s4a) - 1);
105 memcpy(s5, lorem, sizeof(s5) - 1);
116 memcpy(s5a, lorem, sizeof(s5a) - 1);
|
| /seL4-camkes-master/projects/global-components/templates/ |
| H A D | seL4Ethdriver-to.template.c | 80 memcpy(mac, temp, sizeof(temp));
|
| /seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/ |
| H A D | global_endpoint.c | 20 memcpy(a + 1, &src, sizeof(seL4_CPtr));
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/ |
| H A D | strops.h | 16 void *memcpy(void *dest, const void *src, size_t n);
|