Constant DRIVER_VERIFIER_DETECTED_VIOLATION

pub const DRIVER_VERIFIER_DETECTED_VIOLATION: BUGCHECK_ERROR;