Searched refs:current_dscr_usr (Results 1 – 1 of 1) sorted by relevance
94 unsigned long current_dscr_usr; in dscr_default_random_thread() local99 current_dscr_usr = get_dscr_usr(); in dscr_default_random_thread()103 FAIL_IF_EXIT(current_dscr_usr != expected_dscr); in dscr_default_random_thread()