AslEnvVerifyGuestProcessorSupport

INT64 __fastcall AslEnvVerifyGuestProcessorSupport(INT16 *a1, INT16 a2){
  INT16 v3; 
  int ProcessWowInfo; 
  unsigned int v5; 
  unsigned __int64 v6; 
  int v8; 
  INT16 v9; 
  v9 = 0;
  if( a1 )
  {
    v3 = *a1;
  }
  else
  {
    ProcessWowInfo = AslEnvGetProcessWowInfo(&v9, 0i64);
    v5 = ProcessWowInfo;
    if( ProcessWowInfo < 0 )
    {
      v8 = ProcessWowInfo;
      AslLogCallPrintf(1ui64, "AslEnvVerifyGuestProcessorSupport", 0x74Bui64, "AslEnvGetProcessWowInfo failed [%x]", v8);
      return v5;
    }
    v3 = v9;
  }
  v6 = 0i64;
  while( *(_WORD *)&byte_140C04900[v6] != v3 || *(_WORD *)&byte_140C04900[v6 + 2] != a2 )
  {
    v6 += 16i64;
    if( v6 >= 0x70 )
      return(unsigned int)-1073741637;
  }
  return 0;
}

Referenced by:

SdbGuestTargetPlatformFlagsToRuntimePlatformFlags