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()
189 pr_info("Zero detected: stayed at zero\n"); in check_from_zero()
192 pr_info("Zero detected: saturated\n"); in check_from_zero()
195 pr_warn("Zero detected: unsafely reset to max\n"); in check_from_zero()
198 pr_info("Fail: zero not detected, incremented to %d\n", in check_from_zero()
212 pr_info("Good: zero detected\n"); in lkdtm_REFCOUNT_INC_ZERO()
218 pr_err("Fail: Zero not detected!?\n"); in lkdtm_REFCOUNT_INC_ZERO()
237 pr_info("Good: zero detected\n"); in lkdtm_REFCOUNT_ADD_ZERO()
243 pr_err("Fail: Zero not detected!?\n"); in lkdtm_REFCOUNT_ADD_ZERO()
256 pr_info("Saturation detected: still saturated\n"); in check_saturated()
259 pr_warn("Saturation detected: unsafely reset to max\n"); in check_saturated()