UINT64 __stdcall ExComputeTickCountMultiplier(){
unsigned int v0;
int v1;
__int64 v2;
int v3;
unsigned int v4;
v0 = (unsigned int)KeMaximumIncrement % 0x2710;
v1 = 0;
v2 = 24i64;
do
{
v3 = 2 * v1;
v4 = 2 * v0;
v1 = (2 * v1) | 1;
v0 = 2 * v0 - 10000;
if( v4 < 0x2710 )
v1 = v3;
if( v4 < 0x2710 )
v0 = v4;
--v2;
}
while( v2 );
return v1 | (((unsigned int)KeMaximumIncrement / 0x2710) << 24);
}