tag	line	file	source code
set_get_font	155	drivers/char/console.c	extern int set_get_font(unsigned char *, int, int);
set_get_font	2302	drivers/char/console.c	i = set_get_font (arg,1,ch512);
set_get_font	2313	drivers/char/console.c	return set_get_font (arg,0,video_mode_512ch);