Symbol: vkd_io_intr
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
73
static void vkd_io_intr(cothread_t cotd);