INT64 __stdcall VfStopBranchTracing(){
INT64 result;
if( (MmVerifierData & 0x8000000) == 0 || !VfBTSSupported )
return 3221225474i64;
if( !VfBTSInitialized || !*((_DWORD *)VfBTSStarted + *((unsigned int *)KeGetCurrentPrcb() + 9)) )
return 3221226538i64;
__writemsr(0x1D9u, 0i64);
result = 0i64;
*((_DWORD *)VfBTSStarted + *((unsigned int *)KeGetCurrentPrcb() + 9)) = 0;
return result;
}