Partager via


Macro ExFreePool (ntddk.h)

La routine ExFreePool libère un bloc de mémoire du pool.

Syntaxe

void ExFreePool(
   a
);

Paramètres

a

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 ntddk.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)

Voir aussi

ExAllocatePool

ExAllocatePoolWithQuota

ExAllocatePoolWithQuotaTag

ExAllocatePoolWithTag

ExFreePoolWithTag