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();