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	2539	drivers/char/console.c	set_palette() ;
set_palette	2571	drivers/char/console.c	set_palette() ;
set_palette	105	drivers/char/tty_io.c	extern void set_palette(void) ;
set_palette	569	drivers/char/tty_io.c	set_palette() ;