UINT64 __fastcall HalpHvTimerStop(INT64 a1){
__int64 v1;
UINT64 result;
LODWORD(v1) = KeGetPcr()->Prcb.Number;
*(_QWORD *)(a1 + 24 * v1) &= ~1ui64;
result = *(_QWORD *)(a1 + 24 * v1);
__writemsr(0x400000B0u, result);
return result;
}