set_display_channel 458 drivers/video/fbdev/via/hw.c static void set_display_channel(void); set_display_channel 1942 drivers/video/fbdev/via/hw.c set_display_channel();