VfUtilCheckKernelAddress

VOID __stdcall VfUtilCheckKernelAddress(VOID *Address, ULONG_PTR NumberOfBytes){
  UINT64 v2; 

  if( (MmVerifierData & 0x800) != 0
    && ((unsigned __int64)Address < 0x7FFFFFFEFFFFi64 || (char *)Address + *(_QWORD *)&NumberOfBytes < Address) )
  {
    VerifierBugCheckIfAppropriate(0xC4ui64, 0xE0u, (ULONG_PTR)Address, NumberOfBytes, 0, v2);
  }
}

Referenced by: