tag	line	file	source code
set_palette	143	drivers/char/console.c	extern void set_palette(void);
set_palette	1602	drivers/char/console.c	set_palette() ;
set_palette	2256	drivers/char/console.c	set_palette() ;
set_palette	414	drivers/char/tga.c	set_palette() ;
set_palette	117	drivers/char/tty_io.c	extern void set_palette(void) ;
set_palette	587	drivers/char/tty_io.c	set_palette() ;
set_palette	564	drivers/char/vga.c	set_palette() ;