SdbGuestTargetPlatformFlagsToRuntimePlatformFlags

INT64 __fastcall SdbGuestTargetPlatformFlagsToRuntimePlatformFlags(INT64 a1){
  unsigned int v1; 
  int ProcessWowInfo; 
  unsigned __int64 i; 
  int v5; 
  INT16 v6; 
  __int16 v7; 
  v7 = WORD1(a1);
  v6 = 0;
  v1 = 0;
  ProcessWowInfo = AslEnvGetProcessWowInfo(&v6, 0i64);
  if( ProcessWowInfo >= 0 )
  {
    for( i = 0i64; i < 0x3C; i += 12i64 )
    {
      if( (*(_DWORD *)((_BYTE *)&qword_14003CDA0 + i + 8) & 0x1F) != 0
        && (int)AslEnvVerifyGuestProcessorSupport(&v6, *(_WORD *)((char *)&qword_14003CDA0 + i + 4)) >= 0 )
      {
        v1 |= SdbGuestHostArchsToRuntimePlatformFlag(*(_WORD *)((char *)&qword_14003CDA0 + i + 4), &v6);
      }
    }
  }
  else
  {
    v5 = ProcessWowInfo;
    AslLogCallPrintf(
      1ui64,
      "SdbGuestTargetPlatformFlagsToRuntimePlatformFlags",
      0x146ui64,
      "AslEnvGetProcessWowInfo failed to determine processor info [%x]",
      v5);
  }
  return v1;
}

Referenced by: