int __thiscall VgaModeProgramCrtc(int *this)
{
  int v1; // ecx
  int v2; // ecx
  int v3; // ecx
  int v4; // ecx
  int v5; // ecx
  int v6; // ecx
  int v7; // ecx
  int v8; // ecx
  int v9; // ecx
  int v10; // ecx
  int v11; // ecx
  int v12; // ecx
  int v13; // ecx
  int v14; // ecx
  int v15; // ecx
  int v16; // ecx
  int v17; // ecx
  int v18; // ecx

  PciRegWrite(*(this + 15), 510525492, 131200);
  PciRegWrite(v1, 510525448, 537067535);
  PciRegWrite(v2, 510525496, 4095);
  PciRegWrite(v3, 510525504, -2008774588);
  PciRegWrite(v4, 510525508, 608313992);
  PciRegWrite(v5, 510525512, 572662306);
  PciRegWrite(v6, 510525516, 572662306);
  PciRegWrite(v7, 510525520, 0x80000000);
  PciRegWrite(v8, 510525960, 0);
  PciRegWrite(v9, 510525976, 0);
  PciRegWrite(v10, 510525984, 0);
  PciRegWrite(v11, 510525992, 0);
  PciRegWrite(v12, 510526000, 0);
  PciRegWrite(v13, 510526120, 0);
  PciRegWrite(v14, 510526128, 0);
  PciRegWrite(v15, 510526016, -2046820352);
  PciRegWrite(v16, 510526020, 34304);
  PciRegWrite(v17, 510526024, 0x80000000);
  return PciRegWrite(v18, 510526028, -2139062144);
}