sticore_initialized 1052 drivers/video/console/sticore.c static int sticore_initialized __read_mostly;
sticore_initialized 1056 drivers/video/console/sticore.c 	if (sticore_initialized)
sticore_initialized 1059 drivers/video/console/sticore.c 	sticore_initialized = 1;
sticore_initialized 1080 drivers/video/console/sticore.c 	if (!sticore_initialized)