MiIsVaRangeAvailable

VOID __fastcall MiIsVaRangeAvailable(_EPROCESS *Process, VOID *StartVa, UINT64 Length, VOID *HighestAcceptableVa){
  char *v4; 
  unsigned __int64 v5; 

  v4 = (char *)StartVa + Length - 1;
  if( ((unsigned __int64)StartVa >= 0x10000 || Process->PicoContext)
    && StartVa >= HighestAcceptableVa
    && (unsigned __int64)v4 <= v5
    && v4 > StartVa )
  {
    MiCheckForConflictingVadExistence(Process, StartVa, v4);
  }
}

Referenced by:

MiAllocateEnclaveVad
MiMapLockedPagesInUserSpace
MiMapViewOfDataSection
MiMapViewOfImageSection
MiMapViewOfPhysicalSection
MiReserveUserMemory