Searched refs:count (Results 1 - 25 of 195) sorted by relevance

12345678

/seL4-refos-master/libs/libmuslc/src/unistd/
H A Dgetgroups.c4 int getgroups(int count, gid_t list[]) argument
6 return syscall(SYS_getgroups, count, list);
H A Dread.c5 ssize_t read(int fd, void *buf, size_t count) argument
7 return syscall_cp(SYS_read, fd, buf, count);
H A Dreadv.c5 ssize_t readv(int fd, const struct iovec *iov, int count) argument
7 return syscall_cp(SYS_readv, fd, iov, count);
H A Dwrite.c5 ssize_t write(int fd, const void *buf, size_t count) argument
7 return syscall_cp(SYS_write, fd, buf, count);
H A Dwritev.c5 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 Dat_quick_exit.c7 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 Dpthread_barrier_init.c3 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 Dsetgroups.c5 int setgroups(size_t count, const gid_t list[]) argument
7 return syscall(SYS_setgroups, count, list);
H A Dsendfile.c5 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 Dpit.c29 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 Dinitgroups.c8 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 Dprofiler.c25 /* 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 Dserial.c21 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 Dserial.c21 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 Dcvector.c22 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 Dcqueue.c22 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 Dcvector.c22 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 Dcqueue.c22 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 Dutil.c138 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 Dstdio_copy.h25 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 Dstdio.h29 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 Darch_stdio.h24 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 Dqt_clust.h20 int clusters() { return count; }
25 int count; member in class:Clusterizer
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dstdio_copy.h25 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 Dstdio.h29 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);

Completed in 81 milliseconds

12345678