VfUtilSynchronizationObjectSanityChecks

VOID __stdcall VfUtilSynchronizationObjectSanityChecks(PVOID Object, UINT64 a2){
  UINT64 v3; 
  VfUtilCheckKernelAddress(Object, a2);
  if( (MmVerifierData & 0x800) != 0 )
  {
    if( (unsigned int)MmIsSessionAddress(Object) )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0xDFui64, (UINT64)Object, 0i64, 0i64, v3);
    if( (MmVerifierData & 0x800) != 0 && !MmIsNonPagedSystemAddressValid(Object) )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0xE1ui64, (UINT64)Object, 0i64, 0i64, v3);
  }
}

Referenced by: