wsdisplay_shutdownhook  156 dev/wscons/wsdisplay.c void	wsdisplay_shutdownhook(void *);
wsdisplay_shutdownhook  754 dev/wscons/wsdisplay.c 		shutdownhook_establish(wsdisplay_shutdownhook, NULL);