vga_builtinfont    60 dev/ic/vga.c   } vga_builtinfont = {
vga_builtinfont   499 dev/ic/vga.c   	vc->vc_fonts[0] = &vga_builtinfont;