get_video_mode 2773 drivers/video/fbdev/atafb.c default_par = get_video_mode(default_name); get_video_mode 2997 drivers/video/fbdev/atafb.c temp = get_video_mode("user0"); get_video_mode 3017 drivers/video/fbdev/atafb.c if ((temp = get_video_mode(this_opt))) {