VfDriverIsKernelImageAddress

UINT64 __stdcall VfDriverIsKernelImageAddress(PVOID Address){
  return ViDriverKernelBase
      && (unsigned __int64)Address >= ViDriverKernelBase
      && (unsigned __int64)Address < ViDriverKernelEnd;
}

Referenced by:

VfCheckUserHandle
VfPendingShouldForce
VfTargetDriversGetVerifierData
ViTargetIncrementCounter