PsWow64IsMachineSupported

NTSTATUS __fastcall PsWow64IsMachineSupported(INT16 a1){
  INT16 EquivalentMachineCHPE; 
  int v2; 
  __int16 v3; 
  int v4; 
  _PS_SYSTEM_DLL_INFO *SystemDllInfo; 
  int v6; 
  __int16 v7; 

  if( !a1 )
    return 0;
  EquivalentMachineCHPE = RtlWow64GetEquivalentMachineCHPE(a1);
  if( EquivalentMachineCHPE != v3 )
    return 0;
  v4 = v2;
  while( 1 )
  {
    SystemDllInfo = PsQuerySystemDllInfo((_SYSTEM_DLL_TYPE)v4);
    if( SystemDllInfo )
    {
      if( *((_WORD *)SystemDllInfo + 1) == v7 )
        break;
    }
    v4 = v6 + 1;
    if( v4 >= 6 )
      return 0;
  }
  return 1;
}

Referenced by: