ExtEnvFreeMemory

VOID __fastcall ExtEnvFreeMemory(INT64 a1, UINT64 a2){
  __int64 v2; 
  __int64 v3; 
  INT64 v4; 
  v4 = a1;
  LOBYTE(v4) = 0;
  if( (int)HalpMmIsInsideHalVa(a2, (CHAR *)&v4) >= 0 && !(_BYTE)v4 )
    HalpMmAllocCtxFree(v2, v3);
}

Referenced by: