HalpIsPartitionCpuManager

INT64 __fastcall HalpIsPartitionCpuManager(){
  INT64 result; 
  char v1; 
  __int64 v2; 
  LODWORD(result) = HalpIsMicrosoftCompatibleHvLoaded();
  if( (_BYTE)result )
  {
    v2 = __cpuid(1073741827, 0);
    result = 1i64;
    if( (__PAIR64__(EBX(v2), EAX(v2)) & 0x100000000000i64) != 0 )
      v1 = 1;
  }
  LOBYTE(result) = v1;
  return result;
}

Referenced by: