KiGetTbLeafInfo

NTSTATUS __stdcall KiGetTbLeafInfo(){
  __int64 v0; 
  unsigned __int32 v1; 
  unsigned __int32 v2; 
  unsigned int v3; 
  __int32 v4; 
  __int32 v5; 
  unsigned __int32 v6; 
  __int64 v7; 
  char v8; 
  unsigned int v9; 
  __int64 v10; 
  __int64 v11; 

  v0 = 0i64;
  v1 = 0;
  v2 = EAX(__cpuid(24, 0));
  v3 = 1;
  do
  {
    v7 = __cpuid(24, v1);
    v6 = EBX(v7);
    v5 = ECX(v7);
    v4 = EDX(v7);
    v8 = v4;
    if( EAX(v7) | v6 | v5 | v4 )
    {
      v9 = (unsigned __int8)v4 >> 5;
      if( v9 >= v3 && (v6 & 1) != 0 && (((v8 & 0x1F) - 1) & 0xFFFFFFFD) == 0 )
      {
        v10 = 0i64;
        v11 = v5 * HIWORD(v6);
        if( v9 <= v3 )
          v10 = v0;
        if( v9 <= v3 )
          v9 = v3;
        v3 = v9;
        v0 = v10 + v11;
      }
    }
    ++v1;
  }
  while( v1 <= v2 );
  return v0;
}

Referenced by: