!wdfkd.wdfsetdriver
The !wdfkd.wdfsetdriver extension sets the name of the default Kernel-Mode Driver Framework (KMDF) driver to which debugger extension commands apply.
!wdfkd.wdfsetdriver DriverName
Parameters
DriverName
The name of a driver. DriverName must not include the .sys file name extension.
DLL
Wdfkd.dll
Frameworks
KMDF 1, UMDF 2
Additional Information
For more information, see Kernel-Mode Driver Framework Debugging.
Remarks
The !wdfkd.wdfsetdriver extension sets the default driver name. You can use this name with other wdfkd extensions that would otherwise require you to specify a driver name.
To obtain the name of the current default KMDF driver, use the !wdfkd.wdfgetdriver extension.