// SetupCallbackFinal - decompiled from Platform.efi
unsigned __int64 __fastcall SetupCallbackFinal(unsigned int *a1)
{
  __int64 CpuPciCfg; // rdi

  if ( a1 ) /*0xb428*/
  {
    CpuPciCfg = ReadCpuPciCfg((__int64)a1, 31, 2); /*0xb470*/
    if ( (unsigned __int16)GetVariableSize((unsigned __int16 *)CpuPciCfg) == 0xFFFF ) /*0xb480*/
    {
      Assert( /*0xb495*/
        (__int64)"e:\\hs\\PurleySktPkg\\SouthClusterLbg\\Library\\PeiDxeSmmPchCycleDecodingLib\\PchCycleDecodingLib.c",
        303,
        (__int64)"((BOOLEAN)(0==1))");
      return 0x8000000000000003uLL; /*0xb49a*/
    }
    else
    {
      *a1 = *(_DWORD *)(CpuPciCfg + 72) & 0xFFFF0000; /*0xb4ae*/
      return 0; /*0xb4b0*/
    }
  }
  else
  {
    DebugPrint(0x80000000, "PchPwrmBaseGet Error. Invalid pointer.\n"); /*0xb436*/
    Assert( /*0xb44e*/
      (__int64)"e:\\hs\\PurleySktPkg\\SouthClusterLbg\\Library\\PeiDxeSmmPchCycleDecodingLib\\PchCycleDecodingLib.c",
      293,
      (__int64)"((BOOLEAN)(0==1))");
    return 0x8000000000000002uLL; /*0xb453*/
  }
}