Debugging Tools for Windows |
The !wdfkd.wdfpoolusage extension displays pool usage information for a specified driver, if the Kernel-Mode Driver Framework (KMDF) verifier is enabled for the driver.
Windows NT 4.0 | Unavailable |
Windows 2000 and later | Wdfkd.dll |
If you omit the DriverName parameter, the default driver is used. You can display the default driver by using the !wdfkd.wdfgetdriver extension; you can set the default driver by using the !wdfkd.wdfsetdriver extension.
The following example shows the output from the !wdfpoolusage extension when no pool allocation is marked and the Flags value is set to 0.
-----------------------------------
FxDriverGlobals 83b7af18 pool stats
-----------------------------------
Driver Tag: 'RawB'
15126 NonPaged Bytes, 548 Paged Bytes
94 NonPaged Allocations, 10 Paged Allocations
15610 PeakNonPaged Bytes, 752 PeakPaged Bytes
100 PeakNonPaged Allocations, 14 PeakPaged Allocations
pool 82dbae00, Size 512 Tag 'RawB', NonPaged, Caller: Wdf01000!FxVerifierLock::AllocateThreadTable+5d
The following example shows the output from !wdfpoolusage that appears when the value of Flags is 1. (Note that the ellipsis (…) on the second line indicates the omission of some output that is the same as that shown in the preceding example.)
…
100 PeakNonPaged Allocations, 14 PeakPaged Allocations
Client alloc starts at 82dbae00
Size 512 Tag 'RawB'
NonPaged (0x0)
Caller: Wdf01000!FxVerifierLock::AllocateThreadTable+5d
For more information, see Kernel-Mode Driver Framework Debugging.