Symbol: vke_tx_intr
sys/dev/virtual/vkernel/net/if_vke.c
135
static void vke_tx_intr(cothread_t cotd);
sys/dev/virtual/vkernel/net/if_vke.c
336
sc->cotd_tx = cothread_create(vke_tx_thread, vke_tx_intr, sc, "vke_tx");