vgaconsole         86 dev/ic/vga.c   int vgaconsole, vga_console_type, vga_console_attached;
vgaconsole        576 dev/ic/vga.c   	vgaconsole = 1;
vgaconsole        586 dev/ic/vga.c   	if (vgaconsole &&