ExFreePool-Funktion (wdm.h)
Mit dem ExFreePool Routine wird ein Speicherblock des Pools verwaltet.
Syntax
void ExFreePool(
[in] PVOID P
);
Parameter
[in] P
Gibt die Adresse des Speicherblocks des Pools an, der abgeglichen wird.
Rückgabewert
Nichts
Bemerkungen
Diese Routine gibt speicherzuweisungen von ExAllocatePool, ExAllocatePoolWithTag, ExAllocatePoolWithQuota, oder ExAllocatePoolWithQuotaTag. Auf den Speicherblock darf nicht zugegriffen werden, nachdem er freigegeben wurde.
Treiber können auch die ExFreePoolWithTag Routine verwenden, um Puffer freizuweisen, die von ExAllocatePoolWithTag und ExAllocatePoolWithQuotaTagzugeordnet werden.
Aufrufer von ExFreePool- müssen unter IRQL <= DISPATCH_LEVEL ausgeführt werden. Ein Aufrufer bei DISPATCH_LEVEL muss ein NonPaged-Xxx-PoolType- angegeben haben, wenn der Speicher zugewiesen wurde. Andernfalls muss der Aufrufer unter IRQL <= APC_LEVEL ausgeführt werden.
Anforderungen
| Anforderung | Wert |
|---|---|
| mindestens unterstützte Client- | Ab Windows 2000 verfügbar. |
| Zielplattform- | Universal |
| Header- | wdm.h (include Wdm.h, Ntddk.h, Ntifs.h) |
| Library | NtosKrnl.lib |
| DLL- | NtosKrnl.exe |
| IRQL- | <= DISPATCH_LEVEL (siehe Abschnitt "Hinweise") |
| DDI-Complianceregeln | DoubleExFreePool(storport) |