gui_mastermind_draw   17 modules/games/gui_mastermind.c void gui_mastermind_draw();
gui_mastermind_draw   20 modules/games/gui_mastermind.c     /*GUI_MODE_MASTERMIND*/ { GUI_MODE_MODULE, gui_mastermind_draw, gui_mastermind_kbd_process, gui_game_menu_kbd_process, 0, GUI_MODE_FLAG_NODRAWRESTORE };