tag
line
file
source code
set_get_font
2600
drivers/char/console.c
i = set_get_font (arg,1,ch512);
set_get_font
2611
drivers/char/console.c
return set_get_font (arg,0,video_mode_512ch);