!wdfkd.wdfsetdriver

The !wdfkd.wdfsetdriver extension sets the name of the default Kernel-Mode Driver Framework (KMDF) driver to which debugger extension commands apply.

Syntax

!wdfkd.wdfsetdriver DriverName 

Parameters

DriverName

The name of a driver. DriverName must not include the .sys file name extension.

DLL

Comments

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.

Additional Information

For more information, see Kernel-Mode Driver Framework Debugging.