void vga_gettextfont(void *font);
void vga_puttextfont(void *font);
The font buffer occupies 8192 bytes. However, versions 1.2.13 and later use a larger buffer internally and the size of the buffers passed to vga_gettextfont(3) and vga_puttextfont(3) can be set with vga_ext_set(3).
The functions give access to the internal buffers of svgalib, not the font tables of the VGA card. This means that both functions must be called in graphics mode and a newly set font takes effect only at the next vga_setmode(TEXT) call.
vga_setmode(3), vga_ext_set(3), svgalib(7), vgagl(7), libvga.config(5), restorefont(1), restoretextmode(1), restorepalette(1), savetextmode(1), textmode(1), vga_dumpregs(3), vga_gettextmoderegs(3), dumpreg(1)
This manual page was edited by Michael Weller <firstname.lastname@example.org>. The exact source of the referenced function as well as of the original documentation is unknown.
It is very likely that both are at least to some extent are due to Harm Hanemaayer <H.Hanemaayer@inter.nl.net>.
Occasionally this might be wrong. I hereby asked to be excused by the original author and will happily accept any additions or corrections to this first version of the svgalib manual.