vga_console_attached   86 dev/ic/vga.c   int vgaconsole, vga_console_type, vga_console_attached;
vga_console_attached  371 dev/ic/vga.c   		if (scr != &vga_console_screen || vga_console_attached) {
vga_console_attached  530 dev/ic/vga.c   		vga_console_attached = 1;
vga_console_attached  587 dev/ic/vga.c   	    !vga_console_attached &&