/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | adjtime.c | 7 int adjtime(const struct timeval *in, struct timeval *out) argument 19 if (out) { 20 out->tv_sec = tx.offset / 1000000; 21 if ((out->tv_usec = tx.offset % 1000000) < 0) { 22 out->tv_sec--; 23 out->tv_usec += 1000000;
|
/seL4-camkes-master/tools/riscv-pk/util/ |
H A D | snprintf.c | 8 int vsnprintf(char* out, size_t n, const char* s, va_list vl) argument 24 if (++pos < n) out[pos-1] = '0'; 25 if (++pos < n) out[pos-1] = 'x'; 31 if (++pos < n) out[pos-1] = (d < 10 ? '0'+d : 'a'+d-10); 42 if (++pos < n) out[pos-1] = '-'; 48 if (pos + i + 1 < n) out[pos + i] = '0' + (num % 10); 61 out[pos-1] = *s2; 70 if (++pos < n) out[pos-1] = (char)va_arg(vl,int); 82 if (++pos < n) out[pos-1] = *s; 85 out[po 91 snprintf(char* out, size_t n, const char* s, ...) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/stat/ |
H A D | statvfs.c | 29 static void fixup(struct statvfs *out, const struct statfs *in) argument 31 *out = (struct statvfs){0}; 32 out->f_bsize = in->f_bsize; 33 out->f_frsize = in->f_frsize ? in->f_frsize : in->f_bsize; 34 out->f_blocks = in->f_blocks; 35 out->f_bfree = in->f_bfree; 36 out->f_bavail = in->f_bavail; 37 out->f_files = in->f_files; 38 out->f_ffree = in->f_ffree; 39 out [all...] |
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | dhcp_server.c | 23 goto out; 29 goto out; 32 goto out; 40 goto out; 43 goto out; 51 goto out; 54 goto out; 62 goto out; 65 goto out; 73 goto out; [all...] |
H A D | multicast_send.c | 36 goto out; 40 goto out; 48 goto out; 52 goto out; 61 goto out; 65 goto out; 75 goto out; 79 goto out; 118 out:
|
H A D | multicast_ip6_send.c | 38 goto out; 42 goto out; 50 goto out; 54 goto out; 63 goto out; 67 goto out; 77 goto out; 81 goto out; 129 out:
|
H A D | udp_sendto_test.c | 46 goto out; 50 goto out; 62 goto out; 85 out:
|
H A D | multicast_recv.c | 39 goto out; 43 goto out; 51 goto out; 55 goto out; 64 goto out; 68 goto out; 78 goto out; 82 goto out; 160 out:
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/uart/ |
H A D | common.c | 14 void uart_set_out(struct elfloader_device *out) argument 16 if (out->drv->type != DRIVER_UART) { 19 uart_out = out;
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | parseargs.c | 31 char *out = 0; local 45 if (out) 46 *out++ = 0; 59 outarray[*nargs] = out = p-1; 71 if (out) 72 *out++ = rc;
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/ext-array/pass_array-put/ |
H A D | BUILD | 5 ./pass_array-put > actual.out && \ 6 diff expected.out actual.out 10 rm -f pass_array-put.[ch] pass_array-put actual.out
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
H A D | objectc.c | 115 void msgpack_object_print(FILE* out, msgpack_object o) argument 119 fprintf(out, "nil"); 123 fprintf(out, (o.via.boolean ? "true" : "false")); 128 fprintf(out, "%" PRIu64, o.via.u64); 131 fprintf(out, "over 4294967295"); 133 fprintf(out, "%lu", (unsigned long)o.via.u64); 139 fprintf(out, "%" PRIi64, o.via.i64); 142 fprintf(out, "over +2147483647"); 144 fprintf(out, "under -2147483648"); 146 fprintf(out, " [all...] |
/seL4-camkes-master/projects/global-components/components/ClockServer/src/ |
H A D | clock_server.c | 67 goto out; 76 goto out; 79 goto out; 87 goto out; 93 out: 113 goto out; 121 goto out; 127 goto out; 132 out: 143 goto out; [all...] |
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/ |
H A D | gpio.c | 83 goto out; 89 goto out; 96 goto out; 102 goto out; 108 goto out; 115 goto out; 121 out: 133 goto out; 138 goto out; 150 out [all...] |
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | getaddrinfo.c | 21 } *out; local 54 out = calloc(1, nais * sizeof(*out) + canon_len + 1); 55 if (!out) return EAI_MEMORY; 58 outcanon = (void *)&out[nais]; 65 out[k].ai = (struct addrinfo){ 72 .ai_addr = (void *)&out[k].sa, 74 .ai_next = &out[k+1].ai }; 77 out[k].sa.sin.sin_family = AF_INET; 78 out[ [all...] |
/seL4-camkes-master/projects/musllibc/src/time/ |
H A D | getdate.c | 22 goto out; 29 goto out; 36 goto out; 41 out:
|
/seL4-camkes-master/tools/seL4/elfloader-tool/include/drivers/ |
H A D | uart.h | 18 void uart_set_out(struct elfloader_device *out);
|
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | console.c | 11 char out[256]; // XXX local 12 int res = vsnprintf(out, sizeof(out), s, vl); 13 file_write(stderr, out, res < sizeof(out) ? res : sizeof(out));
|
H A D | pk.h | 34 int vsnprintf(char* out, size_t n, const char* s, va_list vl); 35 int snprintf(char* out, size_t n, const char* s, ...);
|
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/plat/linux/ |
H A D | module.c | 43 goto out; 46 out:
|
/seL4-camkes-master/tools/cogent/cogent/doc/ |
H A D | Makefile | 10 rm -f *.aux *.blg *.out *.bbl *.log
|
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | generate_tactic_statistics.py | 122 with open(OUTFILE, 'w') as out: 124 out.write(stat_str) 127 with open(OUTFILE, 'w') as out: 128 out.write("Tactic") 130 out.write("\t\t" + key) 131 out.write('\n') 134 out.write(expr) 137 out.write("\t\t0") 139 out.write("\t\t" + str(final_stats[key][expr]['cpu']['total'])) 140 out [all...] |
/seL4-camkes-master/projects/lwip/test/unit/core/ |
H A D | test_pbuf.c | 181 u8_t *out; local 196 out = (u8_t*)p->payload; 198 fail_unless(out[i] == testdata[i], 199 "Bad data at pos %d, was %02X, expected %02X", i, out[i], testdata[i]); 206 out = (u8_t*)p->payload; 207 fail_unless(out[p->len - 1] == testdata[0], 208 "Bad data at pos %d, was %02X, expected %02X", p->len - 1, out[p->len - 1], testdata[0]); 209 out = (u8_t*)q->payload; 211 fail_unless(out[i-1] == testdata[i], 212 "Bad data at pos %d, was %02X, expected %02X", p->len - 1 + i, out[ 233 u8_t *out; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | parentapi.c | 74 goto out; 85 goto out; 101 goto out; 111 goto out; 122 goto out; 132 goto out; 148 goto out; 154 goto out; 161 out: 164 /* Since the array was allocated with calloc(), it was zero'd out [all...] |
/seL4-camkes-master/kernel/src/machine/ |
H A D | io.c | 41 static void putchar_wrap(out_wrap_t *out, char c) argument 43 if (out->maxlen < 0 || out->idx < out->maxlen) { 44 out->putchar(c, out->buf, out->idx); 45 out->idx++; 197 static void out(out_wrap_t *f, const char *s, word_t l) function 213 out( 568 vprintf(out_wrap_t *out, const char *fmt, va_list ap) argument 592 out_wrap_t out = { kernel_out_fn, NULL, 0, -1 }; local 605 out_wrap_t out = { buf_out_fn, str, 0, size }; local [all...] |