AMI-Aptio-BIOS-Reversed / PurleyPlatPkg / Platform / Pei / EarlyVideoPei / PciRegWrite.c

int __fastcall PciRegWrite(int a1, int a2, int a3)
{
  *(_DWORD *)(a1 + 61440) = 1;
  *(_DWORD *)(a1 + 61444) = a2 & 0xFFFF0000;
  *(_DWORD *)((unsigned __int16)a2 + a1 + 0x10000) = a3;
  return a3;
}