77 	pthread_mutex_t mtx;  in ATF_TC_BODY()  local
81 	ATF_REQUIRE(pthread_mutex_init(&mtx, NULL) == 0);  in ATF_TC_BODY()
82 	ATF_REQUIRE(pthread_mutex_lock(&mtx) == 0);  in ATF_TC_BODY()
92 	ATF_REQUIRE(pthread_mutex_unlock(&mtx) == 0);  in ATF_TC_BODY()
96 	pthread_mutex_destroy(&mtx);  in ATF_TC_BODY()
109 	pthread_mutex_t mtx;  in ATF_TC_BODY()  local
113 	ATF_REQUIRE(pthread_mutex_init(&mtx, NULL) == 0);  in ATF_TC_BODY()
114 	ATF_REQUIRE(pthread_mutex_lock(&mtx) == 0);  in ATF_TC_BODY()
123 	ATF_REQUIRE(testf_dso_mutex_unlock(&mtx) == 0xcafe);  in ATF_TC_BODY()
127 	pthread_mutex_destroy(&mtx);  in ATF_TC_BODY()
141 	pthread_mutex_t mtx;  in ATF_TC_BODY()  local
145 	ATF_REQUIRE(pthread_mutex_init(&mtx, NULL) == 0);  in ATF_TC_BODY()
154 	ATF_REQUIRE(testf_dso_mutex_lock(&mtx) == 0xcafe);  in ATF_TC_BODY()
156 	ATF_REQUIRE(pthread_mutex_unlock(&mtx) == 0);  in ATF_TC_BODY()
160 	pthread_mutex_destroy(&mtx);  in ATF_TC_BODY()