taglinefilesource code
con_get_font66drivers/char/vt.cextern int con_get_font(char * fontmap);
con_get_font832drivers/char/vt.creturn con_get_font((char *)arg);