/seL4-refos-master/libs/libmuslc/src/stdio/ |
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); 12 .buf = (void *)s, .cookie = (void *)s,
|
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 }, 8 { .iov_base = f->buf, .iov_len = f->buf_size } 19 f->rpos = f->buf; 20 f->rend = f->buf + cnt; 21 if (f->buf_size) buf[len-1] = *f->rpos++;
|
H A D | fputws.c | 7 unsigned char buf[BUFSIZ]; local 16 while (ws && (l = wcsrtombs((void *)buf, (void*)&ws, sizeof buf, 0))+1 > 1) 17 if (__fwritex(buf, l, f) < l) {
|
H A D | fmemopen.c | 8 unsigned char *buf; member in struct:cookie 26 static size_t mread(FILE *f, unsigned char *buf, size_t len) argument 35 memcpy(buf, c->buf+c->pos, len); 39 f->rpos = f->buf; 40 f->rend = f->buf + rem; 41 memcpy(f->rpos, c->buf+c->pos, rem); 46 static size_t mwrite(FILE *f, const unsigned char *buf, size_t len) argument 58 memcpy(c->buf+c->pos, buf, le 73 fmemopen(void *restrict buf, size_t size, const char *restrict mode) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | fchdir.c | 14 char buf[15+3*sizeof(int)]; local 15 __procfdname(buf, fd); 16 return syscall(SYS_chdir, buf);
|
H A D | readlink.c | 5 ssize_t readlink(const char *restrict path, char *restrict buf, size_t bufsize) argument 8 return syscall(SYS_readlink, path, buf, bufsize); 10 return syscall(SYS_readlinkat, AT_FDCWD, path, buf, bufsize);
|
H A D | fchown.c | 14 char buf[15+3*sizeof(int)]; local 15 __procfdname(buf, fd); 17 return syscall(SYS_chown, buf, uid, gid); 19 return syscall(SYS_fchownat, AT_FDCWD, buf, uid, gid);
|
/seL4-refos-master/libs/libmuslc/src/stat/ |
H A D | statvfs.c | 6 int __statfs(const char *path, struct statfs *buf) argument 8 *buf = (struct statfs){0}; 10 return syscall(SYS_statfs64, path, sizeof *buf, buf); 12 return syscall(SYS_statfs, path, buf); 16 int __fstatfs(int fd, struct statfs *buf) argument 18 *buf = (struct statfs){0}; 20 return syscall(SYS_fstatfs64, fd, sizeof *buf, buf); 22 return syscall(SYS_fstatfs, fd, buf); 45 statvfs(const char *restrict path, struct statvfs *restrict buf) argument 53 fstatvfs(int fd, struct statvfs *buf) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | gethostbyname2_r.c | 12 struct hostent *h, char *buf, size_t buflen, 43 align = -(uintptr_t)buf & sizeof(char *)-1; 53 buf += align; 54 h->h_aliases = (void *)buf; 55 buf += 3*sizeof(char *); 56 h->h_addr_list = (void *)buf; 57 buf += (cnt+1)*sizeof(char *); 60 h->h_addr_list[i] = (void *)buf; 61 buf += h->h_length; 66 h->h_name = h->h_aliases[0] = buf; 11 gethostbyname2_r(const char *name, int af, struct hostent *h, char *buf, size_t buflen, struct hostent **res, int *err) argument [all...] |
H A D | getservbyport_r.c | 10 struct servent *se, char *buf, size_t buflen, struct servent **res) 19 int r = getservbyport_r(port, "tcp", se, buf, buflen, res); 20 if (r) r = getservbyport_r(port, "udp", se, buf, buflen, res); 26 i = (uintptr_t)buf & sizeof(char *)-1; 30 buf += sizeof(char *)-i; 37 se->s_aliases = (void *)buf; 38 buf += 2*sizeof(char *); 41 se->s_aliases[0] = se->s_name = buf; 43 switch (getnameinfo((void *)&sin, sizeof sin, 0, 0, buf, buflen, 9 getservbyport_r(int port, const char *prots, struct servent *se, char *buf, size_t buflen, struct servent **res) argument
|
H A D | lookup_serv.c | 11 int __lookup_serv(struct service buf[static MAXSERVS], const char *name, int proto, int socktype, int flags) 42 buf[0].port = 0; 43 buf[0].proto = proto; 44 buf[0].socktype = socktype; 55 buf[cnt].port = port; 56 buf[cnt].socktype = SOCK_STREAM; 57 buf[cnt++].proto = IPPROTO_TCP; 60 buf[cnt].port = port; 61 buf[cnt].socktype = SOCK_DGRAM; 62 buf[cn [all...] |
H A D | gethostbyaddr_r.c | 11 struct hostent *h, char *buf, size_t buflen, 32 i = (uintptr_t)buf & sizeof(char *)-1; 35 buf += sizeof(char *)-i; 38 h->h_addr_list = (void *)buf; 39 buf += 2*sizeof(char *); 40 h->h_aliases = (void *)buf; 41 buf += 2*sizeof(char *); 43 h->h_addr_list[0] = buf; 45 buf += l; 47 h->h_aliases[0] = buf; 10 gethostbyaddr_r(const void *a, socklen_t l, int af, struct hostent *h, char *buf, size_t buflen, struct hostent **res, int *err) argument [all...] |
H A D | gethostbyname_r.c | 7 struct hostent *h, char *buf, size_t buflen, 10 return gethostbyname2_r(name, AF_INET, h, buf, buflen, res, err); 6 gethostbyname_r(const char *name, struct hostent *h, char *buf, size_t buflen, struct hostent **res, int *err) argument
|
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);
|
/seL4-refos-master/projects/refos/impl/apps/terminal/src/ |
H A D | print_time.c | 38 static char buf[47]; local 39 snprintf(buf, 47, "%s, %s%3d %.2d:%.2d:%.2d %d\n", 45 return buf;
|
/seL4-refos-master/apps/terminal/src/ |
H A D | print_time.c | 38 static char buf[47]; local 39 snprintf(buf, 47, "%s, %s%3d %.2d:%.2d:%.2d %d\n", 45 return buf;
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | __asctime.c | 9 char *__asctime(const struct tm *restrict tm, char *restrict buf) argument 11 if (snprintf(buf, 26, "%.3s %.3s%3d %.2d:%.2d:%.2d %d\n", 27 return buf;
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | rip.c | 94 char buf[BUFSZ]; local 106 Sprintf(buf, "%s", plname); 107 buf[STONE_LINE_LEN] = 0; 108 center(NAME_LINE, buf); 112 Sprintf(buf, "%ld Au", u.ugold); 114 Sprintf(buf, "%ld Au", done_money); 116 buf[STONE_LINE_LEN] = 0; /* It could be a *lot* of gold :-) */ 117 center(GOLD_LINE, buf); 123 Strcpy(buf, killed_by_prefix[how]); 124 Strcat(buf, a [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | rip.c | 94 char buf[BUFSZ]; local 106 Sprintf(buf, "%s", plname); 107 buf[STONE_LINE_LEN] = 0; 108 center(NAME_LINE, buf); 112 Sprintf(buf, "%ld Au", u.ugold); 114 Sprintf(buf, "%ld Au", done_money); 116 buf[STONE_LINE_LEN] = 0; /* It could be a *lot* of gold :-) */ 117 center(GOLD_LINE, buf); 123 Strcpy(buf, killed_by_prefix[how]); 124 Strcat(buf, a [all...] |
/seL4-refos-master/libs/libmuslc/src/dirent/ |
H A D | readdir_r.c | 7 int readdir_r(DIR *restrict dir, struct dirent *restrict buf, struct dirent **restrict result) argument 21 if (de) memcpy(buf, de, de->d_reclen); 22 else buf = NULL; 25 *result = buf;
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | uudecode.c | 94 char buf[80]; 113 if (fgets(buf, sizeof buf, in) == NULL) { 117 if (strncmp(buf, "begin ", 6) == 0) 120 (void)sscanf(buf, "begin %o %s", &mode, dest); 164 if (fgets(buf, sizeof buf, in) == NULL || strcmp(buf, "end\n")) { 181 char buf[80]; 187 if (fgets(buf, sizeo [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | uudecode.c | 94 char buf[80]; 113 if (fgets(buf, sizeof buf, in) == NULL) { 117 if (strncmp(buf, "begin ", 6) == 0) 120 (void)sscanf(buf, "begin %o %s", &mode, dest); 164 if (fgets(buf, sizeof buf, in) == NULL || strcmp(buf, "end\n")) { 181 char buf[80]; 187 if (fgets(buf, sizeo [all...] |
/seL4-refos-master/libs/libmuslc/src/conf/ |
H A D | confstr.c | 5 size_t confstr(int name, char *buf, size_t len) argument 16 return snprintf(buf, len, "%s", s) + 1;
|
/seL4-refos-master/libs/libmuslc/src/mman/ |
H A D | shm_open.c | 11 char *__shm_mapname(const char *name, char *buf) argument 24 memcpy(buf, "/dev/shm/", 9); 25 memcpy(buf+9, name, p-name+1); 26 return buf; 32 char buf[NAME_MAX+10]; local 33 if (!(name = __shm_mapname(name, buf))) return -1; 42 char buf[NAME_MAX+10]; local 43 if (!(name = __shm_mapname(name, buf))) return -1;
|