!wdfkd.wdfsetdriver
La extensión !wdfkd.wdfsetdriver establece el nombre del controlador predeterminado del marco de trabajo de controladores en modo kernel (KMDF) al que se aplican los comandos de extensión del depurador.
!wdfkd.wdfsetdriver DriverName
Parámetros
DriverName
Nombre de un controlador. DriverName no debe incluir la extensión de nombre de archivo .sys.
Archivo DLL
Wdfkd.dll
Marcos de trabajo
KMDF 1, UMDF 2
Información adicional
Para obtener más información, consulte Depuración del marco de trabajo de controlador en modo kernel.
Comentarios
La extensión !wdfkd.wdfsetdriver establece el nombre del controlador predeterminado. Este nombre se puede usar con otras extensiones de wdfkd para las que, de otro modo, sería necesario especificar un nombre de controlador.
Para obtener el nombre del controlador KMDF predeterminado actual, utilice la extensión !wdfkd.wdfgetdriver.