wsbelldevprint
sc->sc_wsbelldev = config_found(self, &a, wsbelldevprint,
int wsbelldevprint(void *, const char *);