int __thiscall VgaModeSetPlane(int *this)
{
  int v1; // esi
  int result; // eax
  int v3; // ecx
  int v4; // eax
  int v5; // edx
  int v6; // ecx
  int v7; // ecx
  int v8; // eax
  int v9; // edx
  int v10; // ecx

  v1 = *(this + 15);
  result = VgaCrtcRegAnd(0xD0u, 0xFFu);
  if ( (result & 0x80u) == 0 )
  {
    PciRegWrite(v1, 510533632, 378054824);
    v4 = PciRegRead(v3, 510533752);
    PciRegWrite(v6, v5, v4 | 3);
    v8 = PciRegRead(v7, 510533748);
    return PciRegWrite(v10, v9, v8 | 0xC10000);
  }
  return result;
}