/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | getcwd.c | 7 char *getcwd(char *buf, size_t size) argument 10 if (!buf) { 11 buf = tmp; 17 if (syscall(SYS_getcwd, buf, size) < 0) return 0; 18 return buf == tmp ? strdup(buf) : buf;
|
H A D | ttyname.c | 7 static char buf[TTY_NAME_MAX]; local 9 if ((result = ttyname_r(fd, buf, sizeof buf))) { 13 return buf;
|
H A D | read.c | 5 ssize_t read(int fd, void *buf, size_t count) argument 7 return syscall_cp(SYS_read, fd, buf, count);
|
H A D | write.c | 5 ssize_t write(int fd, const void *buf, size_t count) argument 7 return syscall_cp(SYS_write, fd, buf, count);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | setbuf.c | 3 void setbuf(FILE *restrict f, char *restrict buf) argument 5 setvbuf(f, buf, buf ? _IOFBF : _IONBF, BUFSIZ);
|
H A D | setbuffer.c | 4 void setbuffer(FILE *f, char *buf, size_t size) argument 6 setvbuf(f, buf, buf ? _IOFBF : _IONBF, size);
|
H A D | stdin.c | 3 static unsigned char buf[BUFSIZ+UNGET]; variable 5 .buf = buf+UNGET, 6 .buf_size = sizeof buf-UNGET,
|
H A D | stdout.c | 3 static unsigned char buf[BUFSIZ+UNGET]; variable 5 .buf = buf+UNGET, 6 .buf_size = sizeof buf-UNGET,
|
H A D | vswscanf.c | 5 static size_t wstring_read(FILE *f, unsigned char *buf, size_t len) argument 12 k = wcsrtombs((void *)f->buf, &src, f->buf_size, 0); 18 f->rpos = f->buf; 19 f->rend = f->buf + k; 24 *buf = *f->rpos++; 30 unsigned char buf[256]; local 32 .buf = buf, .buf_size = sizeof buf,
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | ptsname.c | 8 static char buf[9 + sizeof(int)*3 + 1]; local 9 int err = __ptsname_r(fd, buf, sizeof buf); 14 return buf;
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | inet_ntoa.c | 6 static char buf[16]; local 8 snprintf(buf, sizeof buf, "%d.%d.%d.%d", a[0], a[1], a[2], a[3]); 9 return buf;
|
H A D | getservbyname.c | 7 static char *buf[2]; local 9 if (getservbyname_r(name, prots, &se, (void *)buf, sizeof buf, &res))
|
H A D | getservbyport.c | 7 static long buf[32/sizeof(long)]; local 9 if (getservbyport_r(port, prots, &se, (void *)buf, sizeof buf, &res))
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt_empty_tree.c | 58 int fdt_create_empty_tree(void *buf, int bufsize) argument 62 err = fdt_create(buf, bufsize); 66 err = fdt_finish_reservemap(buf); 70 err = fdt_begin_node(buf, ""); 74 err = fdt_end_node(buf); 78 err = fdt_finish(buf); 82 return fdt_open_into(buf, buf, bufsize);
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | procfdname.c | 1 void __procfdname(char *buf, unsigned fd) argument 4 for (i=0; (buf[i] = "/proc/self/fd/"[i]); i++); 6 buf[i] = '0'; 7 buf[i+1] = 0; 11 buf[i] = 0; 12 for (; fd; fd/=10) buf[--i] = '0' + fd%10;
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | ringbuffer.c | 25 rb_update_local_start(struct rb_buffer *buf) argument 27 assert(buf && buf->dataspace); 28 if (buf->mode == RB_WRITEONLY) { 31 ((char*) &buf->localStart), sizeof(uint32_t), buf->dataspace, 0 33 } else if (buf->mode == RB_READONLY) { 36 ((char*) &buf->localStart), sizeof(uint32_t), buf->dataspace, 0 44 rb_update_local_end(struct rb_buffer *buf) argument 63 rb_remaining_size(struct rb_buffer *buf) argument 108 rb_write(struct rb_buffer *buf, char *str, size_t len) argument 186 rb_read(struct rb_buffer *buf, char *dest, size_t len, size_t *bytesRead) argument [all...] |
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | ringbuffer.c | 25 rb_update_local_start(struct rb_buffer *buf) argument 27 assert(buf && buf->dataspace); 28 if (buf->mode == RB_WRITEONLY) { 31 ((char*) &buf->localStart), sizeof(uint32_t), buf->dataspace, 0 33 } else if (buf->mode == RB_READONLY) { 36 ((char*) &buf->localStart), sizeof(uint32_t), buf->dataspace, 0 44 rb_update_local_end(struct rb_buffer *buf) argument 63 rb_remaining_size(struct rb_buffer *buf) argument 108 rb_write(struct rb_buffer *buf, char *str, size_t len) argument 186 rb_read(struct rb_buffer *buf, char *dest, size_t len, size_t *bytesRead) argument [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);
|
/seL4-refos-master/libs/libmuslc/src/signal/ |
H A D | siglongjmp.c | 6 _Noreturn void siglongjmp(sigjmp_buf buf, int ret) argument 8 longjmp(buf, ret);
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | asctime.c | 7 static char buf[26]; local 8 return __asctime(tm, buf);
|
H A D | asctime_r.c | 5 char *asctime_r(const struct tm *restrict tm, char *restrict buf) argument 7 return __asctime(tm, buf);
|
H A D | ctime_r.c | 3 char *ctime_r(const time_t *t, char *buf) argument 7 return asctime_r(&tm, buf);
|
/seL4-refos-master/libs/libmuslc/src/dirent/ |
H A D | __dirent.h | 8 char buf[2048]; member in struct:__dirstream
|
/seL4-refos-master/libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
H A D | tsc.h | 26 char buf[sizeof(seL4_BootInfoHeader) + 4]; local 27 ssize_t ret = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_TSC_FREQ, buf, sizeof(buf)); 28 if (ret == sizeof(buf)) { 30 memcpy(&freq, buf + sizeof(seL4_BootInfoHeader), 4);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
H A D | tsc.h | 26 char buf[sizeof(seL4_BootInfoHeader) + 4]; local 27 ssize_t ret = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_TSC_FREQ, buf, sizeof(buf)); 28 if (ret == sizeof(buf)) { 30 memcpy(&freq, buf + sizeof(seL4_BootInfoHeader), 4);
|