Searched refs:exec_player (Results 1 – 4 of 4) sorted by relevance
151 void exec_player(char *moviefile);
685 exec_player(char *moviefile) in exec_player() function
1336 exec_player(filename); in exec_player_cb()
1821 exec_player(filename); in exec_player_cb()