The !wdfkd.wdfwmi extension displays the Microsoft Windows Management Instrumentation (WMI) information for a specified framework device object. This information includes all WMI provider objects and their associated WMI instance objects.
For more information, see Kernel-Mode Driver Framework Debugging.
The output of the !wdfkd.wdfwmi extension includes information about the WMI registration, provider, and instances.
Build date: 1/27/2014