9 static void overflow_check(refcount_t *ref)  in overflow_check()
29 	refcount_t over = REFCOUNT_INIT(REFCOUNT_MAX - 1);  in lkdtm_REFCOUNT_INC_OVERFLOW()
45 	refcount_t over = REFCOUNT_INIT(REFCOUNT_MAX - 1);  in lkdtm_REFCOUNT_ADD_OVERFLOW()
63 	refcount_t over = REFCOUNT_INIT(REFCOUNT_MAX);  in lkdtm_REFCOUNT_INC_NOT_ZERO_OVERFLOW()
75 	refcount_t over = REFCOUNT_INIT(REFCOUNT_MAX);  in lkdtm_REFCOUNT_ADD_NOT_ZERO_OVERFLOW()
84 static void check_zero(refcount_t *ref)  in check_zero()
108 	refcount_t zero = REFCOUNT_INIT(2);  in lkdtm_REFCOUNT_DEC_ZERO()
119 static void check_negative(refcount_t *ref, int start)  in check_negative()
147 	refcount_t neg = REFCOUNT_INIT(0);  in lkdtm_REFCOUNT_DEC_NEGATIVE()
161 	refcount_t neg = REFCOUNT_INIT(0);  in lkdtm_REFCOUNT_DEC_AND_TEST_NEGATIVE()
176 	refcount_t neg = REFCOUNT_INIT(3);  in lkdtm_REFCOUNT_SUB_AND_TEST_NEGATIVE()
191 	refcount_t neg = REFCOUNT_INIT(0);  in lkdtm_REFCOUNT_SUB_AND_TEST_ZERO()
200 static void check_from_zero(refcount_t *ref)  in check_from_zero()
223 	refcount_t zero = REFCOUNT_INIT(0);  in lkdtm_REFCOUNT_INC_ZERO()
248 	refcount_t zero = REFCOUNT_INIT(0);  in lkdtm_REFCOUNT_ADD_ZERO()
267 static void check_saturated(refcount_t *ref)  in check_saturated()
287 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_INC_SATURATED()
298 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_DEC_SATURATED()
309 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_ADD_SATURATED()
320 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
332 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
344 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
356 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()
394 	refcount_t count = REFCOUNT_INIT(1);  in lkdtm_REFCOUNT_TIMING()