/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | s_countLeadingZeros16.c | 47 uint_fast8_t count; local 49 count = 8; 51 count = 0; 54 count += softfloat_countLeadingZeros8[a]; 55 return count;
|
H A D | s_countLeadingZeros64.c | 47 uint_fast8_t count; local 50 count = 0; 53 count = 32; 57 | From here, result is current count + count leading zeros of `a32'. 60 count += 16; 64 count += 8; 67 count += softfloat_countLeadingZeros8[a32>>24]; 68 return count;
|
H A D | s_countLeadingZeros32.c | 47 uint_fast8_t count; local 49 count = 0; 51 count = 16; 55 count += 8; 58 count += softfloat_countLeadingZeros8[a>>24]; 59 return count;
|
/seL4-test-master/projects/musllibc/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);
|
H A D | preadv.c | 7 ssize_t preadv(int fd, const struct iovec *iov, int count, off_t ofs) argument 9 return syscall_cp(SYS_preadv, fd, iov, count,
|
H A D | pwritev.c | 7 ssize_t pwritev(int fd, const struct iovec *iov, int count, off_t ofs) argument 9 return syscall_cp(SYS_pwritev, fd, iov, count,
|
/seL4-test-master/projects/musllibc/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-test-master/projects/musllibc/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-test-master/projects/musllibc/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);
|
H A D | eventfd.c | 6 int eventfd(unsigned int count, int flags) argument 8 int r = __syscall(SYS_eventfd2, count, flags); 10 if (r==-ENOSYS && !flags) r = __syscall(SYS_eventfd, count);
|
/seL4-test-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-test-master/projects/musllibc/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-test-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-test-master/tools/nanopb/examples/network_server/ |
H A D | common.c | 11 static bool write_callback(pb_ostream_t *stream, const uint8_t *buf, size_t count) argument 14 return send(fd, buf, count, 0) == count; 17 static bool read_callback(pb_istream_t *stream, uint8_t *buf, size_t count) argument 22 result = recv(fd, buf, count, MSG_WAITALL); 27 return result == count;
|
/seL4-test-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-test-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-test-master/projects/seL4_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-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 32 _fill_data(char* buf, const char* data, enum kvfmt fmt, int count) argument 36 for (j = 0; j < count; j++) { 59 /* Read no more than count registers into data with correct endianess */ 61 _do_kvread(i2c_kvslave_t* kvs, uint64_t reg, void* data, int count) argument 71 if (count * dbytes > BUFFER_SIZE) { 72 count = BUFFER_SIZE / dbytes; 83 ZF_LOGD("Read register %d", dbytes * count); 84 bytes = i2c_slave_read(kvs->slave, d, dbytes * count, false, NULL, NULL); 89 if (bytes != dbytes * count) { 90 ZF_LOGW("short read %d/%d", bytes, dbytes * count); 100 _do_kvwrite(i2c_kvslave_t* kvs, uint64_t reg, const void* data, int count) argument 211 i2c_kvslave_read(i2c_kvslave_t* kvs, uint64_t reg, void* vdata, int count) argument 241 i2c_kvslave_write(i2c_kvslave_t* kvs, uint64_t reg, const void* vdata, int count) argument 286 int count; local [all...] |
/seL4-test-master/tools/nanopb/tests/basic_stream/ |
H A D | encode_stream.c | 10 bool streamcallback(pb_ostream_t *stream, const uint8_t *buf, size_t count) argument 13 return fwrite(buf, 1, count, file) == count;
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | wait_bit.h | 46 volatile unsigned long count = 0; \ 48 while (count != timeout_ms) { \ 59 count++; \
|