ExFreePool, fonction (wdm.h)
La routine ExFreePool libère un bloc de mémoire de pool.
Syntaxe
void ExFreePool(
[in] PVOID P
);
Paramètres
[in] P
Spécifie l’adresse du bloc de mémoire du pool libérée.
Valeur de retour
Aucun
Remarques
Cette routine libère la mémoire allouée par ExAllocatePool, ExAllocatePoolWithTag, ExAllocatePoolWithQuotaou ExAllocatePoolWithQuotaTag. Le bloc de mémoire ne doit pas être accessible après sa libération.
Les pilotes peuvent également utiliser la routine ExFreePoolWithTag pour libérer des mémoires tampons allouées par ExAllocatePoolWithTag et ExAllocatePoolWithQuotaTag.
Les appelants de ExFreePool doivent s’exécuter à l'<IRQL = DISPATCH_LEVEL. Un appelant à DISPATCH_LEVEL doit avoir spécifié un NonPagedXxxPoolType lorsque la mémoire a été allouée. Dans le cas contraire, l’appelant doit s’exécuter à l'<IRQL = APC_LEVEL.