Constant DRIVER_VERIFIER_DETECTED_VIOLATION 

pub const DRIVER_VERIFIER_DETECTED_VIOLATION: BUGCHECK_ERROR;