set_valkyrie_clock  108 drivers/video/fbdev/valkyriefb.c static void set_valkyrie_clock(unsigned char *params);
set_valkyrie_clock  150 drivers/video/fbdev/valkyriefb.c 	set_valkyrie_clock(init->clock_params);