device_off        459 drivers/video/fbdev/via/hw.c static void device_off(void);
device_off       1829 drivers/video/fbdev/via/hw.c 	device_off();