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