Searched refs:current_dscr (Results 1 – 1 of 1) sorted by relevance
93 unsigned long current_dscr; in dscr_default_random_thread() local98 current_dscr = get_dscr(); in dscr_default_random_thread()102 FAIL_IF_EXIT(current_dscr != expected_dscr); in dscr_default_random_thread()