disable_second_display_channel  462 drivers/video/fbdev/via/hw.c static void disable_second_display_channel(void);
disable_second_display_channel 1859 drivers/video/fbdev/via/hw.c 		disable_second_display_channel();