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