void wscnputc(dev_t dev, int i) { #if NWSDISPLAY > 0 wsdisplay_cnputc(dev, i); #endif }
void wscnputc(dev_t dev, int i) { wsdisplay_cnputc(dev, i); }
void nextcnputc(dev_t dev, int c) { wsdisplay_cnputc(dev,c); }