set_tv_override_menu 1308 core/gui.c             void set_tv_override_menu(CMenu *menu);
set_tv_override_menu 1309 core/gui.c             set_tv_override_menu(get_curr_menu());
set_tv_override_menu  222 core/gui_menu.c         extern void set_tv_override_menu(CMenu *menu);
set_tv_override_menu  223 core/gui_menu.c         set_tv_override_menu(curr_menu);
set_tv_override_menu  443 core/gui_menu.c     extern void set_tv_override_menu(CMenu *menu);
set_tv_override_menu  444 core/gui_menu.c     set_tv_override_menu(curr_menu);