INT64 __fastcall Amd64FreeCounter(UINT64 a1){
unsigned __int64 v1;
INT64 result;
v1 = Amd64CounterStatus + ((unsigned __int64)*((unsigned int *)KeGetPcr() + 105) << 6);
result = 2i64 * (unsigned int)a1;
*(_DWORD *)(v1 + 8 * result + 4) = 0;
*(_DWORD *)(v1 + 8 * result) = 3;
return result;
}