Searched refs:oldHist_num (Results 1 – 1 of 1) sorted by relevance
1069 int oldHist_num = Hist_num, in e_inc_search() local1220 if (Hist_num != oldHist_num) { in e_inc_search()1221 Hist_num = oldHist_num; in e_inc_search()1245 if (Hist_num != oldHist_num) { in e_inc_search()1246 Hist_num = oldHist_num; in e_inc_search()