if (sc == NULL) { printf("sab_cnputc: invalid device\n");
if (sc == NULL)
sab_cnputc(dev, c)	dev_t dev;	int c;{	struct sabtty_softc *sc = sabtty_cons_output;	if (sc == NULL) {		printf("sab_cnputc: invalid device\n");		return;	}	sabtty_cnputc(sc, c);}