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