4  * underflow, reaching zero untested, etc).
75 		pr_warn("Weird: refcount_inc_not_zero() reported zero\n");  in lkdtm_REFCOUNT_INC_NOT_ZERO_OVERFLOW()
87 		pr_warn("Weird: refcount_add_not_zero() reported zero\n");  in lkdtm_REFCOUNT_ADD_NOT_ZERO_OVERFLOW()
96 		pr_info("Zero detected: saturated\n");  in check_zero()
99 		pr_warn("Zero detected: unsafely reset to max\n");  in check_zero()
102 		pr_warn("Still at zero: refcount_inc/add() must not inc-from-0\n");  in check_zero()
111  * zero it should either saturate (when inc-from-zero isn't protected)
112  * or stay at zero (when inc-from-zero is protected) and should WARN for both.
116 	refcount_t zero = REFCOUNT_INIT(2);  in lkdtm_REFCOUNT_DEC_ZERO()  local
119 	refcount_dec(&zero);  in lkdtm_REFCOUNT_DEC_ZERO()
121 	pr_info("attempting bad refcount_dec() to zero\n");  in lkdtm_REFCOUNT_DEC_ZERO()
122 	refcount_dec(&zero);  in lkdtm_REFCOUNT_DEC_ZERO()
124 	check_zero(&zero);  in lkdtm_REFCOUNT_DEC_ZERO()
132 	 * looking only at zero-pinning.  in check_negative()
157 	pr_info("attempting bad refcount_dec() below zero\n");  in lkdtm_REFCOUNT_DEC_NEGATIVE()
171 	pr_info("attempting bad refcount_dec_and_test() below zero\n");  in lkdtm_REFCOUNT_DEC_AND_TEST_NEGATIVE()
173 		pr_warn("Weird: refcount_dec_and_test() reported zero\n");  in lkdtm_REFCOUNT_DEC_AND_TEST_NEGATIVE()
186 	pr_info("attempting bad refcount_sub_and_test() below zero\n");  in lkdtm_REFCOUNT_SUB_AND_TEST_NEGATIVE()
188 		pr_warn("Weird: refcount_sub_and_test() reported zero\n");  in lkdtm_REFCOUNT_SUB_AND_TEST_NEGATIVE()
197 		pr_info("Zero detected: stayed at zero\n");  in check_from_zero()
200 		pr_info("Zero detected: saturated\n");  in check_from_zero()
203 		pr_warn("Zero detected: unsafely reset to max\n");  in check_from_zero()
206 		pr_info("Fail: zero not detected, incremented to %d\n",  in check_from_zero()
212  * A refcount_inc() from zero should pin to zero or saturate and may WARN.
217 	refcount_t zero = REFCOUNT_INIT(0);  in lkdtm_REFCOUNT_INC_ZERO()  local
219 	pr_info("attempting safe refcount_inc_not_zero() from zero\n");  in lkdtm_REFCOUNT_INC_ZERO()
220 	if (!refcount_inc_not_zero(&zero)) {  in lkdtm_REFCOUNT_INC_ZERO()
221 		pr_info("Good: zero detected\n");  in lkdtm_REFCOUNT_INC_ZERO()
222 		if (refcount_read(&zero) == 0)  in lkdtm_REFCOUNT_INC_ZERO()
223 			pr_info("Correctly stayed at zero\n");  in lkdtm_REFCOUNT_INC_ZERO()
225 			pr_err("Fail: refcount went past zero!\n");  in lkdtm_REFCOUNT_INC_ZERO()
227 		pr_err("Fail: Zero not detected!?\n");  in lkdtm_REFCOUNT_INC_ZERO()
230 	pr_info("attempting bad refcount_inc() from zero\n");  in lkdtm_REFCOUNT_INC_ZERO()
231 	refcount_inc(&zero);  in lkdtm_REFCOUNT_INC_ZERO()
233 	check_from_zero(&zero);  in lkdtm_REFCOUNT_INC_ZERO()
238  * at zero.
242 	refcount_t zero = REFCOUNT_INIT(0);  in lkdtm_REFCOUNT_ADD_ZERO()  local
244 	pr_info("attempting safe refcount_add_not_zero() from zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
245 	if (!refcount_add_not_zero(3, &zero)) {  in lkdtm_REFCOUNT_ADD_ZERO()
246 		pr_info("Good: zero detected\n");  in lkdtm_REFCOUNT_ADD_ZERO()
247 		if (refcount_read(&zero) == 0)  in lkdtm_REFCOUNT_ADD_ZERO()
248 			pr_info("Correctly stayed at zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
250 			pr_err("Fail: refcount went past zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
252 		pr_err("Fail: Zero not detected!?\n");  in lkdtm_REFCOUNT_ADD_ZERO()
255 	pr_info("attempting bad refcount_add() from zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
256 	refcount_add(3, &zero);  in lkdtm_REFCOUNT_ADD_ZERO()
258 	check_from_zero(&zero);  in lkdtm_REFCOUNT_ADD_ZERO()
318 		pr_warn("Weird: refcount_inc_not_zero() reported zero\n");  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
330 		pr_warn("Weird: refcount_add_not_zero() reported zero\n");  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
342 		pr_warn("Weird: refcount_dec_and_test() reported zero\n");  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
354 		pr_warn("Weird: refcount_sub_and_test() reported zero\n");  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()