valkyriefb_setup   98 drivers/video/fbdev/valkyriefb.c int valkyriefb_setup(char*);
valkyriefb_setup  315 drivers/video/fbdev/valkyriefb.c 	valkyriefb_setup(option);