Symbol: thunk_ioctl
sys/arch/usermode/dev/vatapi.c
324
if (thunk_ioctl(sc->sc_fd, SCIOCCOMMAND, &kreq) != -1) {
sys/arch/usermode/include/thunk.h
146
int thunk_ioctl(int fd, unsigned long request, void *opaque);