misc/lkdtm/refcount.c

13 		pr_info("Overflow detected: saturated\n");
31 	pr_info("attempting good refcount_inc() without overflow\n");
35 	pr_info("attempting bad refcount_inc() overflow\n");
47 	pr_info("attempting good refcount_add() without overflow\n");
54 	pr_info("attempting bad refcount_add() overflow\n");
65 	pr_info("attempting bad refcount_inc_not_zero() overflow\n");
77 	pr_info("attempting bad refcount_add_not_zero() overflow\n");
88 		pr_info("Zero detected: saturated\n");
110 	pr_info("attempting good refcount_dec()\n");
113 	pr_info("attempting bad refcount_dec() to zero\n");
134 		pr_info("Negative detected: saturated\n");
149 	pr_info("attempting bad refcount_dec() below zero\n");
163 	pr_info("attempting bad refcount_dec_and_test() below zero\n");
178 	pr_info("attempting bad refcount_sub_and_test() below zero\n");
189 		pr_info("Zero detected: stayed at zero\n");
192 		pr_info("Zero detected: saturated\n");
198 		pr_info("Fail: zero not detected, incremented to %d\n",
210 	pr_info("attempting safe refcount_inc_not_zero() from zero\n");
212 		pr_info("Good: zero detected\n");
214 			pr_info("Correctly stayed at zero\n");
221 	pr_info("attempting bad refcount_inc() from zero\n");
235 	pr_info("attempting safe refcount_add_not_zero() from zero\n");
237 		pr_info("Good: zero detected\n");
239 			pr_info("Correctly stayed at zero\n");
246 	pr_info("attempting bad refcount_add() from zero\n");
256 		pr_info("Saturation detected: still saturated\n");
274 	pr_info("attempting bad refcount_inc() from saturated\n");
285 	pr_info("attempting bad refcount_dec() from saturated\n");
296 	pr_info("attempting bad refcount_dec() from saturated\n");
307 	pr_info("attempting bad refcount_inc_not_zero() from saturated\n");
319 	pr_info("attempting bad refcount_add_not_zero() from saturated\n");
331 	pr_info("attempting bad refcount_dec_and_test() from saturated\n");
343 	pr_info("attempting bad refcount_sub_and_test() from saturated\n");
366 		pr_info("atomic timing: done\n");
391 		pr_info("refcount timing: done\n");