PsWow64IsMachineSupported

BOOL __fastcall PsWow64IsMachineSupported(INT64 Machine){
  INT16 EquivalentMachineCHPE; 
  int v2; 
  __int16 v3; 
  int v4; 
  INT64 *SystemDllInfo; 
  int v6; 
  __int16 v7; 
  if( !(_WORD)Machine )
    return 0;
  EquivalentMachineCHPE = RtlWow64GetEquivalentMachineCHPE(Machine);
  if( EquivalentMachineCHPE != v3 )
    return 0;
  v4 = v2;
  while( 1 )
  {
    SystemDllInfo = PsQuerySystemDllInfo(v4);
    if( SystemDllInfo )
    {
      if( *((_WORD *)SystemDllInfo + 1) == v7 )
        break;
    }
    v4 = v6 + 1;
    if( v4 >= 6 )
      return 0;
  }
  return 1;
}

Referenced by: