Searched refs:get_different_scheduler (Results 1 – 1 of 1) sorted by relevance
45 static int get_different_scheduler(void);55 get_different_scheduler(void) in get_different_scheduler() function126 scheduler = get_different_scheduler(); in ATF_TC_BODY()