tag	line	file	source code
set_palette	158	drivers/char/console.c	extern void set_palette (void) ;
set_palette	1651	drivers/char/console.c	set_palette() ;
set_palette	2540	drivers/char/console.c	set_palette() ;
set_palette	2572	drivers/char/console.c	set_palette() ;
set_palette	108	drivers/char/tty_io.c	extern void set_palette(void) ;
set_palette	572	drivers/char/tty_io.c	set_palette() ;