tag	line	file	source code
reset_palette	135	drivers/char/console.c	extern void reset_palette(int currcons);
reset_palette	1550	drivers/char/console.c	reset_palette (currcons);
reset_palette	107	drivers/char/tty_io.c	extern void reset_palette(int currcons) ;
reset_palette	511	drivers/char/tty_io.c	reset_palette (new_console) ;
reset_palette	79	drivers/char/vt.c	extern void reset_palette(int currcons);