Lines Matching refs:assert

18     assert(mutex_is_locked(&mtx) == 0);  in ktest_mutex_case0()
20     assert(mutex_is_locked(&mtx) == 1);  in ktest_mutex_case0()
22     assert(mutex_is_locked(&mtx) == 0);  in ktest_mutex_case0()
23     assert(mutex_trylock(&mtx) == 1);  in ktest_mutex_case0()
25     assert(mutex_is_locked(&mtx) == 0);  in ktest_mutex_case0()
37     assert(mutex_is_locked(&mtx) == 1);  in ktest_mutex_case1_pid1()
39     assert(atomic_read(&mtx.count) == 0);  in ktest_mutex_case1_pid1()
40     assert(list_empty(&mtx.wait_list));  in ktest_mutex_case1_pid1()
49     if (!assert(mutex_is_locked(&mtx) == 0))  in ktest_mutex_case1()
62     assert(atomic_read(&mtx.count) == 0);  in ktest_mutex_case1()
64     assert(wt->pcb->pid == pid);  in ktest_mutex_case1()
70     assert(stat == 0);  in ktest_mutex_case1()