Symbol: sfxge_reset
sys/dev/sfxge/sfxge.c
115
sfxge_reset(void *arg, int npending);
sys/dev/sfxge/sfxge.c
703
TASK_INIT(&sc->task_reset, 0, sfxge_reset, sc);