ExFreePool 函数 （wdm.h）
ExFreePool 例程解除分配池内存块。
语法
void ExFreePool(
[in] PVOID P
);
参数
[in] P
指定要解除分配的池内存块的地址。
返回值
没有
言论
此例程释放由 ExAllocatePool、ExAllocatePoolWithTag、ExAllocatePoolWithQuota或 ExAllocatePoolWithQuotaTag分配的内存。 释放内存块后，不得访问内存块。
驱动程序还可以使用 ExFreePoolWithTag 例程释放 ExAllocatePoolWithTag 和 ExAllocatePoolWithQuotaTag分配的缓冲区。
ExFreePool 的调用方必须在 IRQL <= DISPATCH_LEVEL 上运行。 分配内存时，DISPATCH_LEVEL的调用方必须指定 NonPagedXxxPoolType。 否则，调用方必须在 IRQL <= APC_LEVEL上运行。
要求
| 要求 | 价值 |
|---|---|
| 最低支持的客户端 | 从 Windows 2000 开始可用。 |
| 目标平台 | 普遍 |
| 标头 | wdm.h （包括 Wdm.h、Ntddk.h、Ntifs.h） |
| 库 | NtosKrnl.lib |
| DLL | NtosKrnl.exe |
| IRQL | <= DISPATCH_LEVEL （请参阅“备注”部分） |
| DDI 符合性规则 | DoubleExFreePool（storport） |