/seL4-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-master/libs/libmuslc/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...] |
H A D | res_msend.c | 169 if (next == nqueries) goto out; 172 out:
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | getdate.c | 22 goto out; 29 goto out; 36 goto out; 41 out:
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/drivers/ |
H A D | uart.h | 18 void uart_set_out(struct elfloader_device *out);
|
/seL4-refos-master/tools/elfloader/include/drivers/ |
H A D | uart.h | 18 void uart_set_out(struct elfloader_device *out);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | uudecode.c | 91 FILE *in, *out; 150 out = fopen(dest, "wb"); /* Binary file */ 152 out = fopen(dest, "w"); 154 if (out == NULL) { 162 decode(in, out); 174 * copy from in to out, decoding as you go along. 177 decode(in, out) 179 FILE *out; 201 outdec(bp, out, n);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | uudecode.c | 91 FILE *in, *out; 150 out = fopen(dest, "wb"); /* Binary file */ 152 out = fopen(dest, "w"); 154 if (out == NULL) { 162 decode(in, out); 174 * copy from in to out, decoding as you go along. 177 decode(in, out) 179 FILE *out; 201 outdec(bp, out, n);
|
/seL4-refos-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...] |
H A D | clientapi.c | 108 goto out; 121 goto out; 130 out: 141 * now returns the number of bytes it wrote out to the serial in a msg-reg,
|
H A D | server.c | 289 * we zero-out the receive slots, or else when we delete the receive 298 goto out; 307 goto out; 325 goto out; 336 out: 374 /* Write out */ 413 /** Debugging function -- prints out the state of the registry and the server's 529 * The server returns the number of bytes it actually wrote out to the 574 /* Break out of the loop */ 585 /* After we break out o [all...] |
/seL4-refos-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...] |
/seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | testutil.h | 58 void sel4test_printf(const char *out);
|
/seL4-refos-master/libs/libmuslc/src/locale/ |
H A D | iconv.c | 154 size_t iconv(iconv_t cd0, char **restrict in, size_t *restrict inb, char **restrict out, size_t *restrict outb) argument 323 out, outb); 377 *(wchar_t *)*out = c; 378 *out += sizeof(wchar_t); 386 memcpy(*out, tmp, k); 387 } else k = wctomb_utf8(*out, c); 388 *out += k; 397 *(*out)++ = c; 417 put_16((void *)*out, c, totype); 418 *out [all...] |
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | forkpty.c | 23 goto out; 49 out:
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | vfprintf.c | 159 static void out(FILE *f, const char *s, size_t l) function 171 out(f, pad, sizeof pad); 172 out(f, pad, l); 230 out(f, prefix, pl); 231 out(f, s, 3); 283 out(f, prefix, pl); 285 out(f, buf, s-buf); 287 out(f, estr, ebuf-estr); 406 out(f, prefix, pl); 415 out( [all...] |
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | uthash.h | 134 #define HASH_RECORD_OOM(oomed) uthash_fatal("out of memory") 164 #define HASH_FIND_BYHASHVALUE(hh,head,keyptr,keylen,hashval,out) \ 166 (out) = NULL; \ 171 HASH_FIND_IN_BKT((head)->hh.tbl, hh, (head)->hh.tbl->buckets[ _hf_bkt ], keyptr, keylen, hashval, out); \ 176 #define HASH_FIND(hh,head,keyptr,keylen,out) \ 178 (out) = NULL; \ 182 HASH_FIND_BYHASHVALUE(hh, head, keyptr, keylen, _hf_hashv, out); \ 491 #define HASH_FIND_STR(head,findstr,out) \ 494 HASH_FIND(hh, head, findstr, _uthash_hfstr_keylen, out); \ 506 #define HASH_FIND_INT(head,findint,out) \ [all...] |
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | uthash.h | 134 #define HASH_RECORD_OOM(oomed) uthash_fatal("out of memory") 164 #define HASH_FIND_BYHASHVALUE(hh,head,keyptr,keylen,hashval,out) \ 166 (out) = NULL; \ 171 HASH_FIND_IN_BKT((head)->hh.tbl, hh, (head)->hh.tbl->buckets[ _hf_bkt ], keyptr, keylen, hashval, out); \ 176 #define HASH_FIND(hh,head,keyptr,keylen,out) \ 178 (out) = NULL; \ 182 HASH_FIND_BYHASHVALUE(hh, head, keyptr, keylen, _hf_hashv, out); \ 491 #define HASH_FIND_STR(head,findstr,out) \ 494 HASH_FIND(hh, head, findstr, _uthash_hfstr_keylen, out); \ 506 #define HASH_FIND_INT(head,findint,out) \ [all...] |
/seL4-refos-master/projects/util_libs/libpci/include/pci/ |
H A D | pci.h | 54 /* Return an array of all devices found matching vendor and device ID. The out parameter should 56 int libpci_find_device_all(uint16_t vendor_id, uint16_t device_id, libpci_device_t** out);
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | synccall.c | 93 if (dir.fd < 0) goto out; 171 out:
|
/seL4-refos-master/libs/libmuslc/src/aio/ |
H A D | aio.c | 84 if (!map) goto out; 86 if (!map[a]) goto out; 88 if (!map[a][b]) goto out; 90 if (!map[a][b][c]) goto out; 102 out:
|
/seL4-refos-master/projects/util_libs/libpci/src/ |
H A D | pci.c | 46 int libpci_find_device_all(uint16_t vendor_id, uint16_t device_id, libpci_device_t** out) { argument 47 assert(out); 52 out[n++] = &libpci_device_list[i];
|