35 	pr_info("attempting bad refcount_inc() overflow\n");  in lkdtm_REFCOUNT_INC_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()
113 	pr_info("attempting bad refcount_dec() to zero\n");  in lkdtm_REFCOUNT_DEC_ZERO()
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()
221 	pr_info("attempting bad refcount_inc() from zero\n");  in lkdtm_REFCOUNT_INC_ZERO()
246 	pr_info("attempting bad refcount_add() from zero\n");  in lkdtm_REFCOUNT_ADD_ZERO()
274 	pr_info("attempting bad refcount_inc() from saturated\n");  in lkdtm_REFCOUNT_INC_SATURATED()
285 	pr_info("attempting bad refcount_dec() from saturated\n");  in lkdtm_REFCOUNT_DEC_SATURATED()
296 	pr_info("attempting bad refcount_dec() from saturated\n");  in lkdtm_REFCOUNT_ADD_SATURATED()
307 	pr_info("attempting bad refcount_inc_not_zero() from saturated\n");  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
319 	pr_info("attempting bad refcount_add_not_zero() from saturated\n");  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
331 	pr_info("attempting bad refcount_dec_and_test() from saturated\n");  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
343 	pr_info("attempting bad refcount_sub_and_test() from saturated\n");  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()