Symbol: viomb_worker
sys/dev/pv/viomb.c
107
void viomb_worker(void *);
sys/dev/pv/viomb.c
204
task_set(&sc->sc_task, viomb_worker, sc);