vga_console_type   86 dev/ic/vga.c   int vgaconsole, vga_console_type, vga_console_attached;
vga_console_type  577 dev/ic/vga.c   	vga_console_type = type;
vga_console_type  589 dev/ic/vga.c   	    (vga_console_type == -1 || (type == vga_console_type)))