35 void lkdtm_REFCOUNT_INC_OVERFLOW(void)  in lkdtm_REFCOUNT_INC_OVERFLOW()  argument
51 void lkdtm_REFCOUNT_ADD_OVERFLOW(void)  in lkdtm_REFCOUNT_ADD_OVERFLOW()  argument
69 void lkdtm_REFCOUNT_INC_NOT_ZERO_OVERFLOW(void)  in lkdtm_REFCOUNT_INC_NOT_ZERO_OVERFLOW()  argument
81 void lkdtm_REFCOUNT_ADD_NOT_ZERO_OVERFLOW(void)  in lkdtm_REFCOUNT_ADD_NOT_ZERO_OVERFLOW()  argument
114 void lkdtm_REFCOUNT_DEC_ZERO(void)  in lkdtm_REFCOUNT_DEC_ZERO()  argument
153 void lkdtm_REFCOUNT_DEC_NEGATIVE(void)  in lkdtm_REFCOUNT_DEC_NEGATIVE()  argument
167 void lkdtm_REFCOUNT_DEC_AND_TEST_NEGATIVE(void)  in lkdtm_REFCOUNT_DEC_AND_TEST_NEGATIVE()  argument
182 void lkdtm_REFCOUNT_SUB_AND_TEST_NEGATIVE(void)  in lkdtm_REFCOUNT_SUB_AND_TEST_NEGATIVE()  argument
215 void lkdtm_REFCOUNT_INC_ZERO(void)  in lkdtm_REFCOUNT_INC_ZERO()  argument
240 void lkdtm_REFCOUNT_ADD_ZERO(void)  in lkdtm_REFCOUNT_ADD_ZERO()  argument
279 void lkdtm_REFCOUNT_INC_SATURATED(void)  in lkdtm_REFCOUNT_INC_SATURATED()  argument
290 void lkdtm_REFCOUNT_DEC_SATURATED(void)  in lkdtm_REFCOUNT_DEC_SATURATED()  argument
301 void lkdtm_REFCOUNT_ADD_SATURATED(void)  in lkdtm_REFCOUNT_ADD_SATURATED()  argument
312 void lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED(void)  in lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED()  argument
324 void lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED(void)  in lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED()  argument
336 void lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED(void)  in lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED()  argument
348 void lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED(void)  in lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED()  argument
360 void lkdtm_ATOMIC_TIMING(void)  in lkdtm_ATOMIC_TIMING()  argument
385 void lkdtm_REFCOUNT_TIMING(void)  in lkdtm_REFCOUNT_TIMING()  argument