287 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_INC_SATURATED()  local
290 	refcount_inc(&sat);  in lkdtm_REFCOUNT_INC_SATURATED()
292 	check_saturated(&sat);  in lkdtm_REFCOUNT_INC_SATURATED()
298 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_DEC_SATURATED()  local
301 	refcount_dec(&sat);  in lkdtm_REFCOUNT_DEC_SATURATED()
303 	check_saturated(&sat);  in lkdtm_REFCOUNT_DEC_SATURATED()
309 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_ADD_SATURATED()  local
312 	refcount_add(8, &sat);  in lkdtm_REFCOUNT_ADD_SATURATED()
314 	check_saturated(&sat);  in lkdtm_REFCOUNT_ADD_SATURATED()
320 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()  local
323 	if (!refcount_inc_not_zero(&sat))  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
326 	check_saturated(&sat);  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
332 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()  local
335 	if (!refcount_add_not_zero(7, &sat))  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
338 	check_saturated(&sat);  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
344 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()  local
347 	if (refcount_dec_and_test(&sat))  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
350 	check_saturated(&sat);  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
356 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()  local
359 	if (refcount_sub_and_test(8, &sat))  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()
362 	check_saturated(&sat);  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()