viafb_hotplug      13 drivers/video/fbdev/via/global.c int viafb_hotplug;
viafb_hotplug    1945 drivers/video/fbdev/via/hw.c 	if (!viafb_hotplug) {
viafb_hotplug     624 drivers/video/fbdev/via/hw.h extern int viafb_hotplug;
viafb_hotplug     419 drivers/video/fbdev/via/viafbdev.c 		viafb_hotplug = (gpu32) ? 1 : 0;
viafb_hotplug      83 drivers/video/fbdev/via/viafbdev.h extern int viafb_hotplug;