UINT64 __stdcall VfRemLockReportBadReleaseAndWaitTag(ULONG_PTR PnpMgrLock, VOID *Tag, VOID *ExpectedTag){ UINT64 v4; VerifierBugCheckIfAppropriate(0xC4ui64, 0xD6u, PnpMgrLock, (ULONG_PTR)Tag, (ULONG_PTR)ExpectedTag, v4); return 1i64; }