Constant DRIVER_VERIFIER_DMA_VIOLATION 

pub const DRIVER_VERIFIER_DMA_VIOLATION: BUGCHECK_ERROR;