32 	unsigned long expected_dscr = 0;  in dscr_explicit_lockstep_thread()  local
34 	set_dscr(expected_dscr);  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()
43 		expected_dscr = (expected_dscr + 1) % DSCR_MAX;  in dscr_explicit_lockstep_thread()
44 		set_dscr(expected_dscr);  in dscr_explicit_lockstep_thread()
58 	unsigned long expected_dscr = 0;  in dscr_explicit_lockstep_test()  local
63 	set_dscr(expected_dscr);  in dscr_explicit_lockstep_test()
73 		FAIL_IF(expected_dscr != get_dscr());  in dscr_explicit_lockstep_test()
74 		FAIL_IF(expected_dscr != get_dscr_usr());  in dscr_explicit_lockstep_test()
76 		expected_dscr = (expected_dscr - 1) % DSCR_MAX;  in dscr_explicit_lockstep_test()
77 		set_dscr(expected_dscr);  in dscr_explicit_lockstep_test()
98 	unsigned long expected_dscr = 0;  in dscr_explicit_random_thread()  local
107 		expected_dscr = rand() % DSCR_MAX;  in dscr_explicit_random_thread()
108 		set_dscr(expected_dscr);  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()
118 		expected_dscr = rand() % DSCR_MAX;  in dscr_explicit_random_thread()
119 		set_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()