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

/seL4-camkes-master/tools/rumprun/platform/sel4/librumpsel4_stdio/
H A Dsel4_stdio.c149 sel4_stdio_ioctl(dev_t dev, u_long cmd, void *addr, int flag, struct lwp *l) function
183 .d_ioctl = sel4_stdio_ioctl,

Completed in 28 milliseconds