/* XXX see wsdisplay.c */ /* * ttyinput() helper. * Call with the tty lock held. */ /* XXX static */