Funzione ExFreePool (wdm.h)
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) |