tag	line	file	source code
set_get_font	1913	drivers/char/console.c	return set_get_font (arg,1);
set_get_font	1918	drivers/char/console.c	return set_get_font (arg,0);