281 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_INC_SATURATED()  local
284 	refcount_inc(&sat);  in lkdtm_REFCOUNT_INC_SATURATED()
286 	check_saturated(&sat);  in lkdtm_REFCOUNT_INC_SATURATED()
292 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_DEC_SATURATED()  local
295 	refcount_dec(&sat);  in lkdtm_REFCOUNT_DEC_SATURATED()
297 	check_saturated(&sat);  in lkdtm_REFCOUNT_DEC_SATURATED()
303 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_ADD_SATURATED()  local
306 	refcount_add(8, &sat);  in lkdtm_REFCOUNT_ADD_SATURATED()
308 	check_saturated(&sat);  in lkdtm_REFCOUNT_ADD_SATURATED()
314 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()  local
317 	if (!refcount_inc_not_zero(&sat))  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
320 	check_saturated(&sat);  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()
326 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()  local
329 	if (!refcount_add_not_zero(7, &sat))  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
332 	check_saturated(&sat);  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()
338 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()  local
341 	if (refcount_dec_and_test(&sat))  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
344 	check_saturated(&sat);  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()
350 	refcount_t sat = REFCOUNT_INIT(REFCOUNT_SATURATED);  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()  local
353 	if (refcount_sub_and_test(8, &sat))  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()
356 	check_saturated(&sat);  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()