INT64 __stdcall Amd64RestartProfiling(){
int v0;
unsigned int *v1;
int v2;
INT64 result;
v0 = 0;
v1 = (unsigned int *)(Amd64CounterStatus + ((unsigned __int64)*((unsigned int *)KeGetPcr() + 105) << 6) + 8);
do
{
v2 = *(v1 - 2);
if( v2 >= 2 )
{
result = 0i64;
__writemsr(v0 - 1073676288, 0i64);
}
else
{
result = Amd64ConfigureCounter((unsigned int)v0, 1, *v1, v1[1], v2 != 1);
}
++v0;
v1 += 4;
}
while( v0 < 4 );
return result;
}