fbcon_is_default  134 drivers/video/fbdev/core/fbcon.c static int fbcon_is_default = 1; 
fbcon_is_default  507 drivers/video/fbdev/core/fbcon.c 			fbcon_is_default = 0; 
fbcon_is_default  582 drivers/video/fbdev/core/fbcon.c 				fbcon_is_default);
fbcon_is_default 3077 drivers/video/fbdev/core/fbcon.c 				fbcon_is_default);