kcov_multiple_threads
ATF_TC_WITHOUT_HEAD(kcov_multiple_threads##n); \
ATF_TC_BODY(kcov_multiple_threads##n, tc) \
kcov_multiple_threads(n); \