54 static size_t VGLBufSize;  variable
263     VGLBufSize = VGLAdpInfo.va_buffer_size;  in VGLInit()
265     VGLBufSize = max(VGLAdpInfo.va_line_width*VGLModeInfo.vi_height,  in VGLInit()
278     VGLBufSize = VGLAdpInfo.va_line_width*VGLModeInfo.vi_height*  in VGLInit()
280   VGLBuf = malloc(VGLBufSize);  in VGLInit()
287   fprintf(stderr, "VGLBufSize:0x%x\n", VGLBufSize);  in VGLInit()
291   if (VGLBufSize/VGLModeInfo.vi_planes > VGLAdpInfo.va_window_size) {  in VGLInit()
325   VGLDisplay->VYsize = VGLBufSize/VGLModeInfo.vi_planes/VGLAdpInfo.va_line_width;  in VGLInit()
340     VGLVDisplay.Bitmap = malloc(2 * VGLBufSize);  in VGLInit()
390 	  if (VGLBufSize/VGLModeInfo.vi_planes > VGLAdpInfo.va_window_size)  in VGLCheckSwitch()
400 	  if (VGLBufSize/VGLModeInfo.vi_planes > VGLAdpInfo.va_window_size)  in VGLCheckSwitch()
412 	    if (VGLBufSize/VGLModeInfo.vi_planes > VGLAdpInfo.va_window_size)  in VGLCheckSwitch()
418 	    if (VGLBufSize/VGLModeInfo.vi_planes > VGLAdpInfo.va_window_size)  in VGLCheckSwitch()
424 	    if (VGLBufSize/VGLModeInfo.vi_planes > VGLAdpInfo.va_window_size)  in VGLCheckSwitch()
495   object->VYsize = VGLBufSize/VGLModeInfo.vi_planes/VGLAdpInfo.va_line_width;  in VGLSetVScreenSize()