!wdfkd.wdfsetdriver
L’extension !wdfkd.wdfsetdriver définit le nom du pilote KMDF (Kernel-Mode Driver Framework) par défaut auquel les commandes d’extension du débogueur s’appliquent.
!wdfkd.wdfsetdriver DriverName
Paramètres
DriverName
Le nom d’un pilote. DriverName ne doit pas inclure l’extension de fichier .sys.
DLL
Wdfkd.dll
Frameworks
KMDF 1, UMDF 2
Informations supplémentaires
Pour plus d’informations, veuillez consulter la section Débogage de l’infrastructure du pilote Kernel-Mode.
Notes
L’extension !wdfkd.wdfsetdriver définit le nom du pilote par défaut. Vous pouvez utiliser ce nom avec d’autres extensions wdfkd qui autrement nécessiteraient que vous spécifiiez un nom de pilote.
Pour obtenir le nom du pilote KMDF par défaut actuel, utilisez l’extension !wdfkd.wdfgetdriver.