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

/barrelfish-2018-10-04/lib/libc/xdr/
H A Dxdr_stdio.c60 static bool_t xdrstdio_getbytes(XDR *, char *, u_int);
72 xdrstdio_getbytes, /* deserialize counted bytes */
129 xdrstdio_getbytes(XDR *xdrs, char *addr, u_int len) function

Completed in 77 milliseconds