Symbol: vke_tx_thread
sys/dev/virtual/vkernel/net/if_vke.c
136
static void vke_tx_thread(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");