vga_stdscreen_bf  165 dev/ic/vga.c   }, vga_stdscreen_bf = {
vga_stdscreen_bf  206 dev/ic/vga.c   	&vga_stdscreen_bf,