Searched refs:script_main_fini (Results 1 – 3 of 3) sorted by relevance
311 int script_main_fini(void);
1322 (void) script_main_fini(); in rcmd_start_timer()
353 script_main_fini(void) in script_main_fini() function