Lines Matching full:detected
13 pr_info("Overflow detected: saturated\n"); in overflow_check()
16 pr_warn("Overflow detected: unsafely reset to max\n"); in overflow_check()
88 pr_info("Zero detected: saturated\n"); in check_zero()
91 pr_warn("Zero detected: unsafely reset to max\n"); in check_zero()
134 pr_info("Negative detected: saturated\n"); in check_negative()
137 pr_warn("Negative detected: unsafely reset to max\n"); in check_negative()
204 pr_info("Zero detected: stayed at zero\n"); in check_from_zero()
207 pr_info("Zero detected: saturated\n"); in check_from_zero()
210 pr_warn("Zero detected: unsafely reset to max\n"); in check_from_zero()
213 pr_info("Fail: zero not detected, incremented to %d\n", in check_from_zero()
227 pr_info("Good: zero detected\n"); in lkdtm_REFCOUNT_INC_ZERO()
233 pr_err("Fail: Zero not detected!?\n"); in lkdtm_REFCOUNT_INC_ZERO()
252 pr_info("Good: zero detected\n"); in lkdtm_REFCOUNT_ADD_ZERO()
258 pr_err("Fail: Zero not detected!?\n"); in lkdtm_REFCOUNT_ADD_ZERO()
271 pr_info("Saturation detected: still saturated\n"); in check_saturated()
274 pr_warn("Saturation detected: unsafely reset to max\n"); in check_saturated()