Symbol: wsdisplay_detach