Searched refs:save_ex_normal_busy (Results 1 – 2 of 2) sorted by relevance
50 int save_ex_normal_busy; in do_debug() local128 save_ex_normal_busy = ex_normal_busy; in do_debug()146 ex_normal_busy = save_ex_normal_busy; in do_debug()
4635 int save_ex_normal_busy = ex_normal_busy; in get_user_input() local4645 ex_normal_busy = save_ex_normal_busy; in get_user_input()