tag	line	file	source code
default_red	507	drivers/char/console.c	static int default_red[] = {0x00,0xaa,0x00,0xaa,0x00,0xaa,0x00,0xaa,
default_red	1962	drivers/char/console.c	vc_cons[currcons].d->vc_palette[k++] = default_red[j] ;
default_red	2106	drivers/char/console.c	outb_p (default_red[i], 0x3c9) ;
default_red	2138	drivers/char/console.c	vc_cons[currcons].d->vc_palette[k++] = default_red[j] ;
default_red	2520	drivers/char/console.c	default_red[i] = get_user(arg++) ;
default_red	2524	drivers/char/console.c	put_user (default_red[i], arg++) ;
default_red	2534	drivers/char/console.c	vc_cons[i].d->vc_palette[k++] = default_red[j];
default_red	2567	drivers/char/console.c	palette[k++] = default_red[j];