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);