13 		pr_info("Overflow detected: saturated\n");  in overflow_check()
31 	pr_info("attempting good refcount_inc() without overflow\n");  in lkdtm_REFCOUNT_INC_OVERFLOW()
35 	pr_info("attempting bad refcount_inc() overflow\n");  in lkdtm_REFCOUNT_INC_OVERFLOW()
47 	pr_info("attempting good refcount_add() without overflow\n");  in lkdtm_REFCOUNT_ADD_OVERFLOW()
54 	pr_info("attempting bad refcount_add() overflow\n");  in lkdtm_REFCOUNT_ADD_OVERFLOW()
65 	pr_info("attempting bad refcount_inc_not_zero() overflow\n");  in lkdtm_REFCOUNT_INC_NOT_ZERO_OVERFLOW()
77 	pr_info("attempting bad refcount_add_not_zero() overflow\n");  in lkdtm_REFCOUNT_ADD_NOT_ZERO_OVERFLOW()
88 		pr_info("Zero detected: saturated\n");  in check_zero()
110 	pr_info("attempting good refcount_dec()\n");  in lkdtm_REFCOUNT_DEC_ZERO()
113 	pr_info("attempting bad refcount_dec() to zero\n");  in lkdtm_REFCOUNT_DEC_ZERO()
134 		pr_info("Negative detected: saturated\n");  in check_negative()
149 	pr_info("attempting bad refcount_dec() below zero\n");  in lkdtm_REFCOUNT_DEC_NEGATIVE()
163 	pr_info("attempting bad refcount_dec_and_test() below zero\n");  in lkdtm_REFCOUNT_DEC_AND_TEST_NEGATIVE()
178 	pr_info("attempting bad refcount_sub_and_test() below zero\n");  in lkdtm_REFCOUNT_SUB_AND_TEST_NEGATIVE()
193 	pr_info("attempting bad refcount_sub_and_test() at zero\n");  in lkdtm_REFCOUNT_SUB_AND_TEST_ZERO()
204 		pr_info("Zero detected: stayed at zero\n");  in check_from_zero()
207 		pr_info("Zero detected: saturated\n");  in check_from_zero()
213 		pr_info("Fail: zero not detected, incremented to %d\n",  in check_from_zero()
225 	pr_info("attempting safe refcount_inc_not_zero() from zero\n");  in lkdtm_REFCOUNT_INC_ZERO()
227 		pr_info("Good: zero detected\n");  in lkdtm_REFCOUNT_INC_ZERO()
229 			pr_info("Correctly stayed at zero\n");  in lkdtm_REFCOUNT_INC_ZERO()
236 	pr_info("attempting bad refcount_inc() from zero\n");  in lkdtm_REFCOUNT_INC_ZERO()
250 	pr_info("attempting safe refcount_add_not_zero() from zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
252 		pr_info("Good: zero detected\n");  in lkdtm_REFCOUNT_ADD_ZERO()
254 			pr_info("Correctly stayed at zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
261 	pr_info("attempting bad refcount_add() from zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
271 		pr_info("Saturation detected: still saturated\n");  in check_saturated()
289 	pr_info("attempting bad refcount_inc() from saturated\n");  in lkdtm_REFCOUNT_INC_SATURATED()
300 	pr_info("attempting bad refcount_dec() from saturated\n");  in lkdtm_REFCOUNT_DEC_SATURATED()
311 	pr_info("attempting bad refcount_dec() from saturated\n");  in lkdtm_REFCOUNT_ADD_SATURATED()
322 	pr_info("attempting bad refcount_inc_not_zero() from saturated\n");  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
334 	pr_info("attempting bad refcount_add_not_zero() from saturated\n");  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
346 	pr_info("attempting bad refcount_dec_and_test() from saturated\n");  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
358 	pr_info("attempting bad refcount_sub_and_test() from saturated\n");  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()
381 		pr_info("atomic timing: done\n");  in lkdtm_ATOMIC_TIMING()
406 		pr_info("refcount timing: done\n");  in lkdtm_REFCOUNT_TIMING()