int __thiscall VgaModeProgramAttr(int *this)
{
  int v1; // edi
  int v2; // esi
  int v3; // edx
  int v4; // edx
  int v5; // ecx

  v1 = *(this + 15);
  v2 = PciRegRead(v1, 510525444);
  PciRegWrite(v1, v3, v2 | 0x1000);
  while ( (PciRegRead(v1, 510525444) & 0x80000) == 0 )
    ;
  return PciRegWrite(v5, v4, v2 | 0x400);
}