Bug Checks from KMDF Drivers
The framework checks for several types of errors from framework-based drivers. If one of these errors occurs, the framework creates a WDF_VIOLATION bug check.
For information about the types of driver errors that the framework checks for, see WDF_VIOLATION.
Your driver can create a bug check by calling WdfVerifierKeBugCheck.