usl_detachtimeout   75 dev/wscons/wsdisplay_compat_usl.c void usl_detachtimeout(void *);
usl_detachtimeout  118 dev/wscons/wsdisplay_compat_usl.c 	timeout_set(&sd->s_detach_ch, usl_detachtimeout, sd);