Constant IRQL_NOT_GREATER_OR_EQUAL 

pub const IRQL_NOT_GREATER_OR_EQUAL: BUGCHECK_ERROR;