wsdisplay_burn
wsdisplay_burn(sc, sc->sc_burnflags);
wsdisplay_burn(sc, sc->sc_burnflags);
wsdisplay_burn(sc, WSDISPLAY_BURN_OUTPUT);
wsdisplay_burn(sc, sc->sc_burnflags);
wsdisplay_burn(sc, sc->sc_burnflags);
void wsdisplay_burn(void *v, u_int flags);
wsdisplay_burn(sc->sc_displaydv, WSDISPLAY_BURN_KBD);