Symbol: vke_rx_thread
sys/dev/virtual/vkernel/net/if_vke.c
138
static void vke_rx_thread(cothread_t cotd);
sys/dev/virtual/vkernel/net/if_vke.c
337
sc->cotd_rx = cothread_create(vke_rx_thread, vke_rx_intr, sc, "vke_rx");