Constant IRQL_NOT_DISPATCH_LEVEL 

pub const IRQL_NOT_DISPATCH_LEVEL: BUGCHECK_ERROR;