Searched refs:stdio (Results 1 - 25 of 469) sorted by relevance
1234567891011>>
| /seL4-camkes-master/projects/musllibc/src/stdio/ |
| H A D | getchar.c | 1 #include <stdio.h>
|
| H A D | putchar.c | 1 #include <stdio.h>
|
| H A D | setlinebuf.c | 2 #include <stdio.h>
|
| H A D | vprintf.c | 1 #include <stdio.h>
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/librumpsel4_stdio/ |
| H A D | sel4_stdio_user.c | 23 int rumpcomp_sel4_stdio_init(int stdio) { argument
24 if (stdio < 0 || stdio >= RR_NUMIO) {
29 buffer[stdio] = env.custom_simple.stdio_buf[stdio];
30 return circ_buf_init(BIT(RR_STDIO_PAGE_BITS)-sizeof(*buffer[0]), buffer[stdio]);
33 int rumpcomp_sel4_stdio_puts(int stdio, char *buf, int len) { argument
37 if (circ_buf_is_full(buffer[stdio])) {
40 circ_buf_put(buffer[stdio], *(buf+n));
43 seL4_Signal(env.custom_simple.stdio_ep[stdio]);
47 rumpcomp_sel4_stdio_gets(int stdio, char *buf, int len) argument
[all...] |
| H A D | sel4_stdio.h | 25 int rumpcomp_sel4_stdio_init(int stdio);
26 int rumpcomp_sel4_stdio_puts(int stdio, char *buf, int len);
27 int rumpcomp_sel4_stdio_gets(int stdio, char *buf, int len)
|
| /seL4-camkes-master/projects/musllibc/src/internal/ |
| H A D | floatscan.h | 4 #include <stdio.h>
|
| H A D | intscan.h | 4 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/alignment/ |
| H A D | server.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/attributes/ |
| H A D | foo.c | 8 #include <stdio.h>
|
| H A D | bar.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/hierarchical-attributes/components/Bar/src/ |
| H A D | main.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/hierarchical-attributes/components/Baz/src/ |
| H A D | main.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/hierarchical-components/components/Server/src/ |
| H A D | main.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/multiassembly/components/Server/src/ |
| H A D | main.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/testhwdataportlrgpages/ |
| H A D | main.c | 9 #include <stdio.h>
|
| /seL4-camkes-master/projects/musllibc/src/unistd/ |
| H A D | ctermid.c | 1 #include <stdio.h>
|
| /seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/plat/console/ |
| H A D | adt.h | 16 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/binary-semaphore/src/ |
| H A D | client.c | 7 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/hierarchical-attributes/components/Foo/src/ |
| H A D | main.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/event-driven/components/Emitter/src/ |
| H A D | emitter.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/camkes/apps/testreplycapprotection/ |
| H A D | generator.c | 8 #include <stdio.h>
|
| /seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_thread.c | 13 #include <stdio.h>
|
| H A D | sys_yield.c | 13 #include <stdio.h>
|
| /seL4-camkes-master/projects/musllibc/src/network/ |
| H A D | herror.c | 2 #include <stdio.h>
|
Completed in 94 milliseconds
1234567891011>>