vga_vram_size      85 drivers/video/console/vgacon.c static unsigned int	vga_vram_size		__read_mostly;	/* Size of video memory */
vga_vram_size     279 drivers/video/console/vgacon.c 			    c->vc_screenbuf_size > vga_vram_size ?
vga_vram_size     280 drivers/video/console/vgacon.c 			    vga_vram_size : c->vc_screenbuf_size);
vga_vram_size     381 drivers/video/console/vgacon.c 			vga_vram_size);
vga_vram_size     436 drivers/video/console/vgacon.c 			vga_vram_size = 0x8000;
vga_vram_size     452 drivers/video/console/vgacon.c 			vga_vram_size = 0x2000;
vga_vram_size     469 drivers/video/console/vgacon.c 			vga_vram_size = 0x8000;
vga_vram_size     523 drivers/video/console/vgacon.c 			vga_vram_size = 0x2000;
vga_vram_size     531 drivers/video/console/vgacon.c 	vga_vram_base = VGA_MAP_MEM(vga_vram_base, vga_vram_size);
vga_vram_size     532 drivers/video/console/vgacon.c 	vga_vram_end = vga_vram_base + vga_vram_size;
vga_vram_size     856 drivers/video/console/vgacon.c 			    c->vc_screenbuf_size > vga_vram_size ?
vga_vram_size     857 drivers/video/console/vgacon.c 				vga_vram_size : c->vc_screenbuf_size);
vga_vram_size    1319 drivers/video/console/vgacon.c 	if ((width << 1) * height > vga_vram_size)
vga_vram_size    1364 drivers/video/console/vgacon.c 			    c->vc_screenbuf_size > vga_vram_size ? vga_vram_size : c->vc_screenbuf_size);