KiDetectTsx

BOOL __stdcall KiDetectTsx(){
  __int16 v0; 
  BOOL result; 
  result = 0;
  if( (unsigned int)EAX(__cpuid(0, 0)) >= 7 )
  {
    v0 = EBX(__cpuid(7, 0));
    if( (v0 & 0x800) != 0 || (v0 & 0x10) != 0 )
      return 1;
  }
  return result;
}

Referenced by:

KeInitSystem
KiInitializeBootStructures