ExFreePool-Funktion (wdm.h)
Die ExFreePool-Routine verwaltet die Zuordnung eines Poolsspeicherblocks.
Syntax
void ExFreePool(
[in] PVOID P
);
Parameter
[in] P
Gibt die Adresse des Blockes des Poolspeichers an, der zugeordnet wird.
Rückgabewert
Keine
Bemerkungen
Diese Routine gibt Arbeitsspeicher frei, der von ExAllocatePool, ExAllocatePoolWithTag, ExAllocatePoolWithQuota oder ExAllocatePoolWithQuotaTag zugewiesen wurde. Auf den Speicherblock darf nicht zugegriffen werden, nachdem er freigegeben wurde.
Treiber können auch die ExFreePoolWithTag-Routine verwenden, um Puffer freizugeben, die von ExAllocatePoolWithTag und ExAllocatePoolWithQuotaTag zugewiesen wurden.
Aufrufer von ExFreePool müssen unter IRQL <= DISPATCH_LEVEL ausgeführt werden. Ein Aufrufer bei DISPATCH_LEVEL muss einen NonPagedXxxPoolType angegeben haben, als der Arbeitsspeicher zugewiesen wurde. Andernfalls muss der Aufrufer unter IRQL <= APC_LEVEL ausgeführt werden.
Anforderungen
| Anforderung | Wert |
|---|---|
| Unterstützte Mindestversion (Client) | Verfügbar ab Windows 2000. |
| Zielplattform | Universell |
| Header | wdm.h (einschließlich Wdm.h, Ntddk.h, Ntifs.h) |
| Bibliothek | NtosKrnl.lib |
| DLL | NtosKrnl.exe |
| IRQL | <= DISPATCH_LEVEL (siehe Abschnitt Hinweise) |
| DDI-Complianceregeln | DoubleExFreePool(storport) |