Lines Matching refs:VERIFY
73 VERIFY(thr_create(0, 0, (void *(*)(void *))func, arg, THR_DETACHED,
131 VERIFY(mutex_lock(&mp->m_lock) == 0);
156 VERIFY(mutex_unlock(&mp->m_lock) == 0);
196 VERIFY(!rwlp->rw_reentrant || rw != RW_WRITER);
199 VERIFY(rw_rdlock(&rwlp->rw_lock) == 0);
201 VERIFY(rw_wrlock(&rwlp->rw_lock) == 0);
213 VERIFY(rw_unlock(&rwlp->rw_lock) == 0);
256 VERIFY(cond_init(cv, type, NULL) == 0);
262 VERIFY(cond_destroy(cv) == 0);
271 VERIFY(ret == 0 || ret == EINTR);
309 VERIFY(cond_signal(cv) == 0);
315 VERIFY(cond_broadcast(cv) == 0);
976 VERIFY((random_fd = open("/dev/random", O_RDONLY)) != -1);
977 VERIFY((urandom_fd = open("/dev/urandom", O_RDONLY)) != -1);