INT64 __fastcall Amd64ConfigureCounter(INT64 a1, CHAR a2, INT64 a3, UINT64 a4, CHAR a5){
__int64 v5;
unsigned int v6;
INT64 result;
v5 = 0i64;
if( a2 )
{
__writemsr(a1 - 1073676284, -(a5 != 0 ? a3 : 0));
v6 = a1 - 1073676288;
v5 = (unsigned int)a4 | (a5 != 0 ? 5242880i64 : 0x400000i64);
}
else
{
v6 = a1 - 1073676288;
}
result = v5;
__writemsr(v6, v5);
return result;
}