Funzione ExFreePool (wdm.h)

Articolo
02/27/2024

La routine ExFreePool dealloca un blocco di memoria del pool.

Sintassi

void ExFreePool(
  [in] PVOID P
);

Parametri

[in] P

Specifica l'indirizzo del blocco di memoria del pool deallocato.

Valore restituito

nessuno

Osservazioni

Questa routine rilascia memoria allocata da ExAllocatePool, ExAllocatePoolWithTag, ExAllocatePoolWithQuota o ExAllocatePoolWithQuotaTag. Il blocco di memoria non deve essere accessibile dopo che viene liberato.

I driver possono anche usare la routine ExFreePoolWithTag per liberare buffer allocati da ExAllocatePoolWithTag e ExAllocatePoolWithQuotaTag.

I chiamanti di ExFreePool devono essere in esecuzione in IRQL <= DISPATCH_LEVEL. Un chiamante in DISPATCH_LEVEL deve avere specificato un PoolTypeNonPagedXxx quando la memoria è stata allocata. In caso contrario, il chiamante deve essere in esecuzione in IRQL <= APC_LEVEL.

Requisiti

Requisito	Valore
Client minimo supportato	Disponibile a partire da Windows 2000.
Piattaforma di destinazione	Universale
Intestazione	wdm.h (include Wdm.h, Ntddk.h, Ntifs.h)
Libreria	NtosKrnl.lib
DLL	NtosKrnl.exe
IRQL	<= DISPATCH_LEVEL (vedere sezione Osservazioni)
Regole di conformità DDI	DoubleExFreePool(storport)