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	2107	drivers/char/console.c	outb_p (default_red[i], 0x3c9) ;
default_red	2139	drivers/char/console.c	vc_cons[currcons].d->vc_palette[k++] = default_red[j] ;
default_red	2521	drivers/char/console.c	default_red[i] = get_user(arg++) ;
default_red	2525	drivers/char/console.c	put_user (default_red[i], arg++) ;
default_red	2535	drivers/char/console.c	vc_cons[i].d->vc_palette[k++] = default_red[j];
default_red	2568	drivers/char/console.c	palette[k++] = default_red[j];