/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | getgroups.c | 4 int getgroups(int count, gid_t list[]) argument 6 return syscall(SYS_getgroups, count, list);
|
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 | readv.c | 5 ssize_t readv(int fd, const struct iovec *iov, int count) argument 7 return syscall_cp(SYS_readv, fd, iov, 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);
|
H A D | writev.c | 5 ssize_t writev(int fd, const struct iovec *iov, int count) argument 7 return syscall_cp(SYS_writev, fd, iov, count);
|
/seL4-refos-master/libs/libmuslc/src/exit/ |
H A D | at_quick_exit.c | 7 static int count; variable 14 while (count > 0) { 15 func = funcs[--count]; 24 if (count == 32) return -1; 26 funcs[count++] = func;
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_barrier_init.c | 3 int pthread_barrier_init(pthread_barrier_t *restrict b, const pthread_barrierattr_t *restrict a, unsigned count) argument 5 if (count-1 > INT_MAX-1) return EINVAL; 6 *b = (pthread_barrier_t){ ._b_limit = count-1 | (a?a->__attr:0) };
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | setgroups.c | 5 int setgroups(size_t count, const gid_t list[]) argument 7 return syscall(SYS_setgroups, count, list);
|
H A D | sendfile.c | 5 ssize_t sendfile(int out_fd, int in_fd, off_t *ofs, size_t count) argument 7 return syscall(SYS_sendfile, out_fd, in_fd, ofs, count);
|
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | pit.c | 29 uint16_t count; local 33 count = in8(PIT_CH0); 34 count |= (in8(PIT_CH0) << 8); 35 count_old = count; 37 while (count <= count_old) { 38 count_old = count; 40 count = in8(PIT_CH0); 41 count |= (in8(PIT_CH0) << 8);
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | initgroups.c | 8 int count = NGROUPS_MAX; local 9 if (getgrouplist(user, gid, groups, &count) < 0) return -1; 10 return setgroups(count, groups);
|
/seL4-refos-master/kernel/src/machine/ |
H A D | profiler.c | 25 /* Event count for each checkpoint value */ 48 profiler_entries[i].count = 0; 55 unsigned int samples, i, count; local 57 printf("checkpoint count\n"); 60 count = 0; 63 printf("%u %u\n", i, (unsigned int)profiler_entries[i].count); 64 samples += profiler_entries[i].count; 65 count++; 69 printf("%u checkpoints, %u sample(s)\n", count, samples); 81 profiler_entries[checkpoint].count [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | serial.c | 21 size_t count, 26 for (int i = 0; i < count; i++) { 31 return count; 37 size_t count, 42 for (int i = 0; i < count; i++) { 49 return count; 18 uart_write( ps_chardevice_t *d, const void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument 34 uart_read( ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | serial.c | 21 size_t count, 26 for (int i = 0; i < count; i++) { 31 return count; 37 size_t count, 42 for (int i = 0; i < count; i++) { 49 return count; 18 uart_write( ps_chardevice_t *d, const void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument 34 uart_read( ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | cvector.c | 22 if ((v->count + 2) * 2 < v->size) { 23 v->size = (v->count + 2); 35 v->count = 0; 50 if (v->size <= v->count) { 56 v->data[v->count] = e; 57 return v->count++; 64 assert(index < v->count); 72 assert(index < v->count); 80 assert(index < v->count); 81 for(int i = index; i < (v->count [all...] |
H A D | cqueue.c | 22 q->count = 0; 28 while (q->count >= q->maxSize) { 33 q->count++; 39 if (q->count == 0) { 42 uint32_t bot = (q->top >= q->count) ? (q->top - q->count) : (q->maxSize - (q->count - q->top)); 45 q->count--; 55 q->count = 0;
|
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | cvector.c | 22 if ((v->count + 2) * 2 < v->size) { 23 v->size = (v->count + 2); 35 v->count = 0; 50 if (v->size <= v->count) { 56 v->data[v->count] = e; 57 return v->count++; 64 assert(index < v->count); 72 assert(index < v->count); 80 assert(index < v->count); 81 for(int i = index; i < (v->count [all...] |
H A D | cqueue.c | 22 q->count = 0; 28 while (q->count >= q->maxSize) { 33 q->count++; 39 if (q->count == 0) { 42 uint32_t bot = (q->top >= q->count) ? (q->top - q->count) : (q->maxSize - (q->count - q->top)); 45 q->count--; 55 q->count = 0;
|
/seL4-refos-master/kernel/src/ |
H A D | util.c | 138 uint32_t count = 0; local 139 while (!(x & 0x80000000U) && count < 34) { 141 count++; 143 return count; 148 uint32_t count = 0; local 149 while (!(x & 0x000000001) && count <= 32) { 151 count++; 153 return count; 158 uint32_t count = 0; local 159 while (!(x & 0x8000000000000000U) && count < 6 168 uint32_t count = 0; local [all...] |
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | stdio_copy.h | 25 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 27 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|
/seL4-refos-master/libs/librefossys/include/refos-io/ |
H A D | stdio.h | 29 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 31 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|
/seL4-refos-master/libs/libsel4muslcsys/include/ |
H A D | arch_stdio.h | 24 size_t __arch_write(char *data, size_t count) __attribute__((noinline)); 33 typedef size_t (*write_buf_fn)(void *data, size_t count);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | qt_clust.h | 20 int clusters() { return count; } 25 int count; member in class:Clusterizer
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | stdio_copy.h | 25 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 27 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
H A D | stdio.h | 29 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 31 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|