pub const PCI_VERIFIER_DETECTED_VIOLATION: BUGCHECK_ERROR;