ExtEnvFreeMemory

VOID __stdcall ExtEnvFreeMemory(INT64 a1, UINT64 a2){
  _HALP_ALLOC_CONTEXT *v2; 
  VOID *v3; 
  INT64 v4; 

  v4 = a1;
  LOBYTE(v4) = 0;
  if( HalpMmIsInsideHalVa(a2, (CHAR *)&v4) >= 0 && !(_BYTE)v4 )
    HalpMmAllocCtxFree(v2, v3);
}

Referenced by:

DmrFreeRmrrTree
HalpIvtCreateReservedDevice
HalpIvtProcessDrhdEntry
HsaAllocateRemappingTableEntry
HsaCreateDevice
HsaFreeRemappingTableEntry
IvtCreateDevice
IvtDeleteDevice