/seL4-refos-master/libs/libmuslc/src/mman/ |
H A D | mprotect.c | 5 int __mprotect(void *addr, size_t len, int prot) argument 9 end = (size_t)((char *)addr + len + PAGE_SIZE-1) & -PAGE_SIZE;
|
H A D | mmap.c | 15 void *__mmap(void *start, size_t len, int prot, int flags, int fd, off_t off) argument 21 if (len >= PTRDIFF_MAX) { 29 return (void *)syscall(SYS_mmap2, start, len, prot, flags, fd, off/UNIT); 31 return (void *)syscall(SYS_mmap, start, len, prot, flags, fd, off);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | recvfrom.c | 5 ssize_t recvfrom(int fd, void *restrict buf, size_t len, int flags, struct sockaddr *restrict addr, socklen_t *restrict alen) argument 7 return socketcall_cp(recvfrom, fd, buf, len, flags, addr, alen);
|
H A D | sendto.c | 5 ssize_t sendto(int fd, const void *buf, size_t len, int flags, const struct sockaddr *addr, socklen_t alen) argument 7 return socketcall_cp(sendto, fd, buf, len, flags, addr, alen);
|
H A D | dns_parse.c | 7 int len; local 26 len = p[8]*256 + p[9]; 27 if (p+len > r+rlen) return -1; 28 if (callback(ctx, p[1], p+10, len, r) < 0) return -1; 29 p += 10 + len;
|
H A D | res_query.c | 8 int __res_query(const char *name, int class, int type, unsigned char *dest, int len) argument 13 return __res_send(q, ql, dest, len);
|
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 13 return res_query(tmp, class, type, dest, len);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | __stdout_write.c | 4 size_t __stdout_write(FILE *f, const unsigned char *buf, size_t len) argument 10 return __stdio_write(f, buf, len);
|
H A D | vdprintf.c | 3 static size_t wrap_write(FILE *f, const unsigned char *buf, size_t len) argument 5 return __stdio_write(f, buf, len);
|
H A D | vsscanf.c | 4 static size_t do_read(FILE *f, unsigned char *buf, size_t len) argument 6 return __string_read(f, buf, len);
|
H A D | __stdio_read.c | 4 size_t __stdio_read(FILE *f, unsigned char *buf, size_t len) argument 7 { .iov_base = buf, .iov_len = len - !!f->buf_size }, 21 if (f->buf_size) buf[len-1] = *f->rpos++; 22 return len;
|
H A D | open_memstream.c | 11 size_t len; member in struct:cookie 24 base = (size_t [3]){0, c->pos, c->len}[whence]; 29 static size_t ms_write(FILE *f, const unsigned char *buf, size_t len) argument 38 if (len + c->pos >= c->space) { 39 len2 = 2*c->space+1 | c->pos+len+1; 46 memcpy(c->buf+c->pos, buf, len); 47 c->pos += len; 48 if (c->pos >= c->len) c->len = c->pos; 50 return len; [all...] |
H A D | open_wmemstream.c | 12 size_t len; member in struct:cookie 26 base = (size_t [3]){0, c->pos, c->len}[whence]; 32 static size_t wms_write(FILE *f, const unsigned char *buf, size_t len) argument 37 if (len + c->pos >= c->space) { 38 len2 = 2*c->space+1 | c->pos+len+1; 47 len2 = mbsnrtowcs(c->buf+c->pos, (void *)&buf, len, c->space-c->pos, &c->mbs); 50 if (c->pos >= c->len) c->len = c->pos; 52 return len; 76 c->pos = c->len [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | crypt_sha256.h | 20 uint64_t len; /* processed message length */ member in struct:__anon196 27 void sha256_update(sha256_t *s, const void *m, unsigned long len);
|
H A D | crypt_md5.h | 20 uint64_t len; /* processed message length */ member in struct:__anon195 27 void md5_update(md5_t *s, const void *m, unsigned long len);
|
/seL4-refos-master/tools/elfloader/src/ |
H A D | crypt_sha256.h | 20 uint64_t len; /* processed message length */ member in struct:__anon212 27 void sha256_update(sha256_t *s, const void *m, unsigned long len);
|
H A D | crypt_md5.h | 20 uint64_t len; /* processed message length */ member in struct:__anon211 27 void md5_update(md5_t *s, const void *m, unsigned long len);
|
/seL4-refos-master/libs/libmuslc/src/temp/ |
H A D | mkostemps.c | 10 int __mkostemps(char *template, int len, int flags) argument 13 if (l<6 || len>l-6 || memcmp(template+l-len-6, "XXXXXX", 6)) { 21 __randname(template+l-len-6); 26 memcpy(template+l-len-6, "XXXXXX", 6);
|
/seL4-refos-master/libs/librefos/src/ |
H A D | share.c | 55 refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, argument 75 *bytesRead = MIN(end - *start, len); 79 *bytesRead = MIN(ringBufSize - *start, len); 81 unsigned int bytesRemain = MIN(len - *bytesRead, end); 96 refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize, argument 113 if (len > refos_share_write_remaining_size(start, *end, ringBufSize)) { 118 memcpy(bufBase + *end, src, len); 121 unsigned int endBytes = MIN(len, ringBufSize - *end); 123 assert(endBytes <= len); 125 if (endBytes < len) { [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/ |
H A D | share.c | 55 refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, argument 75 *bytesRead = MIN(end - *start, len); 79 *bytesRead = MIN(ringBufSize - *start, len); 81 unsigned int bytesRemain = MIN(len - *bytesRead, end); 96 refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize, argument 113 if (len > refos_share_write_remaining_size(start, *end, ringBufSize)) { 118 memcpy(bufBase + *end, src, len); 121 unsigned int endBytes = MIN(len, ringBufSize - *end); 123 assert(endBytes <= len); 125 if (endBytes < len) { [all...] |
/seL4-refos-master/libs/libmuslc/src/env/ |
H A D | __reset_tls.c | 12 memcpy(self->dtv[i], p->image, p->len); 13 memset((char *)self->dtv[i]+p->len, 0, 14 p->size - p->len);
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt_addresses.c | 63 int len; local 65 c = fdt_getprop(fdt, nodeoffset, name, &len); 69 if (len != sizeof(*c))
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | gpio_utils.h | 62 * output will only be touched as far as "len" bits. 66 * @param len The number of chained GPIO pins to read from. 70 int gpio_chain_read(gpio_chain_t *chain, char *data, int len); 75 * All pins in the chian must be configured for output. The "len" argument will 81 * @param len The number of bits to write out from the buffer to chained 85 int gpio_chain_write(gpio_chain_t *chain, char *data, int len);
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | gpio_utils.h | 62 * output will only be touched as far as "len" bits. 66 * @param len The number of chained GPIO pins to read from. 70 int gpio_chain_read(gpio_chain_t *chain, char *data, int len); 75 * All pins in the chian must be configured for output. The "len" argument will 81 * @param len The number of bits to write out from the buffer to chained 85 int gpio_chain_write(gpio_chain_t *chain, char *data, int len);
|
/seL4-refos-master/libs/libmuslc/src/dirent/ |
H A D | scandir.c | 15 size_t cnt=0, len=0; local 22 if (cnt >= len) { 23 len = 2*len+1; 24 if (len > SIZE_MAX/sizeof *names) break; 25 tmp = realloc(names, len * sizeof *names);
|