wsdisplay_burner  160 dev/wscons/wsdisplay.c void	wsdisplay_burner(void *v);
wsdisplay_burner  748 dev/wscons/wsdisplay.c 	timeout_set(&sc->sc_burner, wsdisplay_burner, sc);