viafb_hotplug_refresh   29 drivers/video/fbdev/via/global.c int viafb_hotplug_refresh = 60;
viafb_hotplug_refresh   67 drivers/video/fbdev/via/global.h extern int viafb_hotplug_refresh;
viafb_hotplug_refresh 1949 drivers/video/fbdev/via/hw.c 		viafb_hotplug_refresh = viafb_refresh;
viafb_hotplug_refresh  424 drivers/video/fbdev/via/viafbdev.c 		u.viamode.refresh = (u32) viafb_hotplug_refresh;