- void system_Init ( int *pi_argc, char *ppsz_argv[], char *ppsz_env[] );
- void system_Configure ( void );
- void system_End ( void );
+ void system_Init ( vlc_t *, int *, char *[] );
+ void system_Configure ( vlc_t *, int *, char *[] );
+ void system_End ( vlc_t * );