Constant IRQL_NOT_DISPATCH_LEVEL 

pub const IRQL_NOT_DISPATCH_LEVEL: ULONG = 0x00000008;