ttyinput_wlock
ifcn = ttyinput_wlock;
ttyinput_wlock(c, tp);
error = ttyinput_wlock(c, tp);
int ttyinput_wlock(int, struct tty *); /* XXX see wsdisplay.c */