tag	line	file	source code
default_attr	834	drivers/char/console.c	default_attr(currcons);
default_attr	1130	drivers/char/console.c	default_attr(currcons);
default_attr	1312	drivers/char/console.c	default_attr(currcons);