num_registered    193 drivers/video/fbdev/intelfb/intelfbdrv.c static int num_registered = 0;
num_registered    486 drivers/video/fbdev/intelfb/intelfbdrv.c 	num_registered++;
num_registered    487 drivers/video/fbdev/intelfb/intelfbdrv.c 	if (num_registered != 1) {
num_registered    489 drivers/video/fbdev/intelfb/intelfbdrv.c 			"(should be only 1).\n", num_registered);