device_screen_off  456 drivers/video/fbdev/via/hw.c static void device_screen_off(void);
device_screen_off 1828 drivers/video/fbdev/via/hw.c 	device_screen_off();