vga_set_8font     128 arch/x86/boot/video-vga.c 	vga_set_8font();
vga_set_8font     187 arch/x86/boot/video-vga.c 	vga_set_8font();
vga_set_8font     204 arch/x86/boot/video-vga.c 		vga_set_8font();