Fonction ExFreePool (wdm.h)
La routine ExFreePool libère un bloc de mémoire du pool.
Syntaxe
void ExFreePool(
[in] PVOID P
);
Paramètres
[in] P
Spécifie l’adresse du bloc de mémoire du pool en cours de libération.
Valeur de retour
None
Remarques
Cette routine libère la mémoire allouée par ExAllocatePool, ExAllocatePoolWithTag, ExAllocatePoolWithQuota ou ExAllocatePoolWithQuotaTag. Le bloc de mémoire ne doit pas être accessible une fois libéré.
Les pilotes peuvent également utiliser la routine ExFreePoolWithTag pour libérer les mémoires tampons allouées par ExAllocatePoolWithTag et ExAllocatePoolWithQuotaTag.
Les appelants d’ExFreePool doivent être en cours d’exécution dans IRQL <= DISPATCH_LEVEL. Un appelant au DISPATCH_LEVEL doit avoir spécifié un poolTypeXxxnon paginé lorsque la mémoire a été allouée. Sinon, l’appelant doit être en cours d’exécution à IRQL <= APC_LEVEL.
Configuration requise
| Condition requise | Valeur |
|---|---|
| Client minimal pris en charge | Disponible à partir de Windows 2000. |
| Plateforme cible | Universal |
| En-tête | wdm.h (inclure Wdm.h, Ntddk.h, Ntifs.h) |
| Bibliothèque | NtosKrnl.lib |
| DLL | NtosKrnl.exe |
| IRQL | <= DISPATCH_LEVEL (voir la section Remarques) |
| Règles de conformité DDI | DoubleExFreePool(storport) |