// SetupIfrKeywordHandle - decompiled from Platform.efi
__int64 __fastcall SetupIfrKeywordHandle(unsigned __int8 *a1)
{
  __int64 v2; // rcx
  __int64 v3; // rcx
  __int64 result; // rax
  int v5; // [rsp+30h] [rbp+8h] BYREF

  *a1 = 0; /*0xa9e5*/
  if ( (unsigned int)GetManufacturingMode() == 1 && (*(_DWORD *)(ReadCpuPciCfg(v2, 22, 0) + 64) & 0xF) == 2 /*0xaa28*/
    || (unsigned int)GetManufacturingMode() == 2
    && (*(_DWORD *)(ReadCpuPciCfg(v3, 22, 0) + 64) & 0xF0000) == (_DWORD)L" check for KTI link failures?" )
  {
    return 0x8000000000000003uLL; /*0xaa2a*/
  }
  result = SetupConfigRoute(&v5); /*0xaa3b*/
  if ( result >= 0 )
  {
    if ( (v5 & 0x20000000) != 0 ) /*0xaa4d*/
      *a1 = 1; /*0xaa4f*/
    DebugPrint(0x40u, "[ME] PTT SkuMgr: PttState = %d\n", *a1);
    return 0; /*0xaa67*/
  }
  return result; /*0xaa69*/
}