The !wdfkd.wdfsetdriver extension sets the name of the default Kernel-Mode Driver Framework (KMDF) driver to which debugger extension commands apply.
The name of a driver. DriverName must not include the .sys file name extension.
KMDF 1, UMDF 2
For more information, see Kernel-Mode Driver Framework Debugging.
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.