Symbol: wskbd_mixer_cb
sys/dev/audio.c
164
void wskbd_mixer_cb(void *);
sys/dev/audio.c
2363
task_set(&sc->wskbd_task, wskbd_mixer_cb, sc);