vdc_eio_thread
static void vdc_eio_thread(void *arg);
vdc_eio_thread, vdc, 0, &p0, TS_RUN,
vdc->eio_thread = thread_create(NULL, 0, vdc_eio_thread, vdc, 0,