Constant DRIVER_VERIFIER_FORCE_IRQL_CHECKING 

pub const DRIVER_VERIFIER_FORCE_IRQL_CHECKING: u32 = 2u32;