tag	line	file	source code
con_get_font	64	drivers/char/vt.c	extern int con_get_font(char * fontmap);
con_get_font	767	drivers/char/vt.c	return con_get_font((char *)arg);