viafb_ioctl_hotplug  187 drivers/video/fbdev/via/ioctl.h int viafb_ioctl_hotplug(int hres, int vres, int bpp);
viafb_ioctl_hotplug  413 drivers/video/fbdev/via/viafbdev.c 		return put_user(viafb_ioctl_hotplug(info->var.xres,