Searched refs:FAIL_IF_EXIT (Results 1 – 4 of 4) sorted by relevance
38 FAIL_IF_EXIT(sem_wait(prev)); in dscr_explicit_lockstep_thread() 40 FAIL_IF_EXIT(expected_dscr != get_dscr()); in dscr_explicit_lockstep_thread() 41 FAIL_IF_EXIT(expected_dscr != get_dscr_usr()); in dscr_explicit_lockstep_thread() 46 FAIL_IF_EXIT(sem_post(next)); in dscr_explicit_lockstep_thread() 104 FAIL_IF_EXIT(err != 0 && err != PTHREAD_BARRIER_SERIAL_THREAD); in dscr_explicit_random_thread() 111 FAIL_IF_EXIT(get_dscr() != expected_dscr); in dscr_explicit_random_thread() 112 FAIL_IF_EXIT(get_dscr_usr() != expected_dscr); in dscr_explicit_random_thread() 122 FAIL_IF_EXIT(get_dscr() != expected_dscr); in dscr_explicit_random_thread() 123 FAIL_IF_EXIT(get_dscr_usr() != expected_dscr); in dscr_explicit_random_thread()
28 FAIL_IF_EXIT(sem_wait(writer_sem)); in dscr_default_lockstep_writer() 33 FAIL_IF_EXIT(sem_post(reader_sem)); in dscr_default_lockstep_writer() 89 FAIL_IF_EXIT(err != 0 && err != PTHREAD_BARRIER_SERIAL_THREAD); in dscr_default_random_thread() 96 FAIL_IF_EXIT(pthread_rwlock_rdlock(rw_lock)); in dscr_default_random_thread() 100 FAIL_IF_EXIT(pthread_rwlock_unlock(rw_lock)); in dscr_default_random_thread() 102 FAIL_IF_EXIT(current_dscr != expected_dscr); in dscr_default_random_thread() 103 FAIL_IF_EXIT(current_dscr_usr != expected_dscr); in dscr_default_random_thread() 108 FAIL_IF_EXIT(pthread_rwlock_wrlock(rw_lock)); in dscr_default_random_thread() 112 FAIL_IF_EXIT(pthread_rwlock_unlock(rw_lock)); in dscr_default_random_thread()
107 FAIL_IF_EXIT(!base); in protect() 116 FAIL_IF_EXIT(perm_pkey < 0); in protect() 130 FAIL_IF_EXIT(sys_pkey_mprotect(base, size, PROT_RWX, in protect() 151 FAIL_IF_EXIT(!base); in protect_access() 155 FAIL_IF_EXIT(rest_pkey < 0); in protect_access() 175 FAIL_IF_EXIT(sys_pkey_mprotect(base, size, PROT_RWX, in protect_access() 190 FAIL_IF_EXIT(*fault_addr != PPC_INST_NOP && in protect_access() 201 FAIL_IF_EXIT(*fault_addr != PPC_INST_BLR); in protect_access()
90 FAIL_IF_EXIT(1); in init_ev_encodes()