Searched refs:rumpcomp_sel4_stdio_gets (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/librumpsel4_stdio/
H A Dsel4_stdio.h27 int rumpcomp_sel4_stdio_gets(int stdio, char *buf, int len)
H A Dsel4_stdio_user.c47 int rumpcomp_sel4_stdio_gets(int stdio, char *buf, int len) { function
H A Dsel4_stdio.c102 n += rumpcomp_sel4_stdio_gets(minor(dev), buf, len);

Completed in 33 milliseconds