The ExFreePool routine deallocates a block of pool memory.
void ExFreePool( a );
Specifies the address of the block of pool memory being deallocated.
Callers of ExFreePool must be running at IRQL <= DISPATCH_LEVEL. A caller at DISPATCH_LEVEL must have specified a NonPagedXxxPoolType when the memory was allocated. Otherwise, the caller must be running at IRQL <= APC_LEVEL.
|Minimum supported client||Available starting with Windows 2000.|
|Header||ntddk.h (include Wdm.h, Ntddk.h, Ntifs.h)|
|IRQL||<= DISPATCH_LEVEL (see Remarks section)|
|DDI compliance rules||DoubleExFreePool|