__int64 __fastcall VfRemLockReportBadReleaseAndWaitTag(
ULONG_PTR BugCheckParameter2,
ULONG_PTR BugCheckParameter3,
ULONG_PTR a3){
UINT64 v4;
VerifierBugCheckIfAppropriate(0xC4ui64, 0xD6ui64, BugCheckParameter2, BugCheckParameter3, a3, v4);
return 1i64;
}