taglinefilesource code
con_set_font52drivers/char/vt.cextern int con_set_font(char * fontmap);
con_set_font573drivers/char/vt.creturn con_set_font((char *)arg);