VfDriverIsKernelImageAddress

NTSTATUS __stdcall VfDriverIsKernelImageAddress(VOID *Address){
  return ViDriverKernelBase
      && (unsigned __int64)Address >= ViDriverKernelBase
      && (unsigned __int64)Address < ViDriverKernelEnd;
}

Referenced by:

VfCheckUserHandle
VfPendingShouldForce
VfTargetDriversGetVerifierData
ViTargetIncrementCounter