/seL4-refos-master/kernel/src/ |
H A D | string.c | 13 word_t len; local 14 for (len = 0; len < maxlen && s[len]; len++); 15 return len; 20 word_t len; local 21 for (len = 0; len + 1 < size && src[len]; le 30 word_t len; local [all...] |
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | klogctl.c | 4 int klogctl (int type, char *buf, int len) argument 6 return syscall(SYS_syslog, type, buf, len);
|
H A D | sethostname.c | 5 int sethostname(const char *name, size_t len) argument 7 return syscall(SYS_sethostname, name, len);
|
H A D | cache.c | 5 int _flush_cache(void *addr, int len, int op) argument 7 return syscall(SYS_cacheflush, addr, len, op); 13 int __cachectl(void *addr, int len, int op) argument 15 return syscall(SYS_cachectl, addr, len, op);
|
H A D | readahead.c | 5 ssize_t readahead(int fd, off_t pos, size_t len) argument 7 return syscall(SYS_readahead, fd, __SYSCALL_LL_O(pos), len);
|
H A D | tee.c | 5 ssize_t tee(int src, int dest, size_t len, unsigned flags) argument 7 return syscall(SYS_tee, src, dest, len, flags);
|
/seL4-refos-master/libs/libmuslc/src/malloc/ |
H A D | aligned_alloc.c | 5 void *aligned_alloc(size_t align, size_t len) argument 7 return __memalign(align, len);
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | setdomainname.c | 5 int setdomainname(const char *name, size_t len) argument 7 return syscall(SYS_setdomainname, name, len);
|
/seL4-refos-master/libs/libmuslc/src/mman/ |
H A D | mincore.c | 5 int mincore (void *addr, size_t len, unsigned char *vec) argument 7 return syscall(SYS_mincore, addr, len, vec);
|
H A D | mlock.c | 4 int mlock(const void *addr, size_t len) argument 6 return syscall(SYS_mlock, addr, len);
|
H A D | msync.c | 4 int msync(void *start, size_t len, int flags) argument 6 return syscall_cp(SYS_msync, start, len, flags);
|
H A D | munlock.c | 4 int munlock(const void *addr, size_t len) argument 6 return syscall(SYS_munlock, addr, len);
|
H A D | madvise.c | 5 int __madvise(void *addr, size_t len, int advice) argument 7 return syscall(SYS_madvise, addr, len, advice);
|
/seL4-refos-master/libs/libmuslc/src/mq/ |
H A D | mq_send.c | 3 int mq_send(mqd_t mqd, const char *msg, size_t len, unsigned prio) argument 5 return mq_timedsend(mqd, msg, len, prio, 0);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | accept.c | 5 int accept(int fd, struct sockaddr *restrict addr, socklen_t *restrict len) argument 7 return socketcall_cp(accept, fd, addr, len, 0, 0, 0);
|
H A D | bind.c | 4 int bind(int fd, const struct sockaddr *addr, socklen_t len) argument 6 return socketcall(bind, fd, addr, len, 0, 0, 0);
|
H A D | connect.c | 5 int connect(int fd, const struct sockaddr *addr, socklen_t len) argument 7 return socketcall_cp(connect, fd, addr, len, 0, 0, 0);
|
H A D | getpeername.c | 4 int getpeername(int fd, struct sockaddr *restrict addr, socklen_t *restrict len) argument 6 return socketcall(getpeername, fd, addr, len, 0, 0, 0);
|
H A D | getsockname.c | 4 int getsockname(int fd, struct sockaddr *restrict addr, socklen_t *restrict len) argument 6 return socketcall(getsockname, fd, addr, len, 0, 0, 0);
|
/seL4-refos-master/libs/libmuslc/src/temp/ |
H A D | mkstemps.c | 7 int mkstemps(char *template, int len) argument 9 return __mkostemps(template, len, 0);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | __string_read.c | 4 size_t __string_read(FILE *f, unsigned char *buf, size_t len) argument 7 size_t k = len+256; 10 if (k < len) len = k; 11 memcpy(buf, src, len); 12 f->rpos = (void *)(src+len); 15 return len;
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | gethostname.c | 4 int gethostname(char *name, size_t len) argument 9 if (len > sizeof uts.nodename) len = sizeof uts.nodename; 10 for (i=0; i<len && (name[i] = uts.nodename[i]); i++); 11 if (i==len) name[i-1] = 0;
|
/seL4-refos-master/libs/libmuslc/src/dirent/ |
H A D | readdir.c | 14 int len = __syscall(SYS_getdents, dir->fd, dir->buf, sizeof dir->buf); local 15 if (len <= 0) { 16 if (len < 0 && len != -ENOENT) errno = -len; 19 dir->buf_end = len;
|
H A D | __getdents.c | 5 int __getdents(int fd, struct dirent *buf, size_t len) argument 7 return syscall(SYS_getdents, fd, buf, len);
|
/seL4-refos-master/libs/libmuslc/src/fcntl/ |
H A D | posix_fallocate.c | 5 int posix_fallocate(int fd, off_t base, off_t len) argument 8 __SYSCALL_LL_E(len));
|