vga_init
void *vga_init(int io_only);
sc->vgasc = vga_init(!sc->vga_full);
vga_init();
static void vga_init(void);