device_screen_on  457 drivers/video/fbdev/via/hw.c static void device_screen_on(void);
device_screen_on 1994 drivers/video/fbdev/via/hw.c 	device_screen_on();