Symbol: thunk_read
sys/arch/usermode/dev/if_veth.c
211
len = thunk_read(sc->sc_tapfd, sc->sc_rx_buf,
sys/arch/usermode/include/thunk.h
123
ssize_t thunk_read(int, void *, size_t);