!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.