margin_color      166 drivers/video/fbdev/core/fbcon.c static int margin_color;
margin_color      523 drivers/video/fbdev/core/fbcon.c 				margin_color = simple_strtoul(options, &options, 0);
margin_color     1375 drivers/video/fbdev/core/fbcon.c 		ops->clear_margins(vc, info, margin_color, bottom_only);