VfUtilSynchronizationObjectSanityChecks

VOID __stdcall VfUtilSynchronizationObjectSanityChecks(VOID *Object, ULONG_PTR NumberOfBytes){
  UINT64 v3; 

  VfUtilCheckKernelAddress(Object, NumberOfBytes);
  if( (MmVerifierData & 0x800) != 0 )
  {
    if( MmIsSessionAddress(Object) )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0xDFu, (ULONG_PTR)Object, 0, 0, v3);
    if( (MmVerifierData & 0x800) != 0 && !MmIsNonPagedSystemAddressValid(Object) )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0xE1u, (ULONG_PTR)Object, 0, 0, v3);
  }
}

Referenced by: