tag	line	file	source code
con_set_font	61	drivers/char/vt.c	extern int con_set_font(char * fontmap);
con_set_font	731	drivers/char/vt.c	return con_set_font((char *)arg);