tag	line	file	source code
set_palette	204	drivers/char/tga.c	set_palette (void)
set_palette	68	drivers/char/vga.c	set_palette (void)