viafb_set_vclock 1492 drivers/video/fbdev/via/hw.c 	viafb_set_vclock(PICOS2KHZ(var->pixclock) * 1000, iga);
viafb_set_vclock  630 drivers/video/fbdev/via/hw.h void viafb_set_vclock(u32 CLK, int set_iga);
viafb_set_vclock  579 drivers/video/fbdev/via/lcd.c 	viafb_set_vclock(clock, set_iga);