tag	line	file	source code
def_color	816	drivers/char/console.c	color = def_color;
def_color	888	drivers/char/console.c	color = (def_color & 0x0f) | background;
def_color	896	drivers/char/console.c	color = (def_color & 0x0f) | background;
def_color	900	drivers/char/console.c	color = (def_color & 0xf0) | foreground;
def_color	1121	drivers/char/console.c	def_color = attr;
def_color	1885	drivers/char/console.c	def_color       = 0x07;   /* white */