Symbol: vkd_io_thread
sys/dev/virtual/vkernel/disk/vdisk.c
147
sc->cotd = cothread_create(vkd_io_thread, vkd_io_intr,
sys/dev/virtual/vkernel/disk/vdisk.c
72
static void vkd_io_thread(cothread_t cotd);