You can find extension commands that are useful for debugging Kernel-Mode Driver Framework (KMDF) drivers in Wdfkd.dll.
For more information about how to use these extensions, see Kernel-Mode Driver Framework Debugging.