BvgaSolidColorFill

VOID __stdcall BvgaSolidColorFill(UINT64 x1, UINT64 y1, UINT64 x2, UINT64 y2, UINT64 color, UINT64 a6){
  unsigned int v6; 
  unsigned int v7; 
  unsigned int v8; 
  unsigned int v9; 
  UINT8 v10[4]; 
  int v11; 
  v6 = y2;
  v7 = x2;
  v8 = y1;
  v9 = x1;
  if( !BvgaDisplayState )
  {
    BvgaAcquireLock();
    if( BvgaBootDriverInstalled )
      VidSolidColorFill(v9, v8, v7, v6, color);
    *(_DWORD *)v10 = 37;
    BvgaTerminalBkgdColor = 40;
    v11 = 40;
    HeadlessDispatch(9ui64, v10, 8ui64, 0i64, 0i64);
    HeadlessDispatch(4ui64, 0i64, 0i64, 0i64, 0i64);
    BvgaReleaseLock();
  }
}

Referenced by: