enable_second_display_channel  461 drivers/video/fbdev/via/hw.c static void enable_second_display_channel(void);
enable_second_display_channel 1857 drivers/video/fbdev/via/hw.c 		enable_second_display_channel();