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