// wdm.h
VOID ExDestroyPool(
HANDLE PoolHandle
);
View the official Windows Driver Kit DDI referenceNo description available.
ExDestroyPool destroys a pool instance.
PoolHandle[in] Handle to the pool instance to be destroyed. Must be a valid handle returned by ExCreatePool.
None.
After this call, the pool handle is no longer valid and must not be used in subsequent operations.
All allocations associated with the pool must have been released before the pool is destroyed.
If the handle is invalid, a bug check may occur.