tag | line | file | source code |
---|---|---|---|
default_font_height | 175 | drivers/char/console.c | unsigned long default_font_height; /* Height of default screen font */ |
default_font_height | 2077 | drivers/char/console.c | default_font_height = video_font_height = ORIG_VIDEO_POINTS; |
default_font_height | 30 | drivers/char/selection.h | extern unsigned long default_font_height; |
default_font_height | 87 | drivers/char/vt.c | extern unsigned long default_font_height; |
default_font_height | 1023 | drivers/char/vt.c | i = con_adjust_height(default_font_height); |