v86d_started       38 drivers/video/fbdev/uvesafb.c static char v86d_started;	/* has v86d been started by uvesafb? */
v86d_started      208 drivers/video/fbdev/uvesafb.c 			v86d_started = 1;
v86d_started     1926 drivers/video/fbdev/uvesafb.c 	if (v86d_started) {