*/
void system_Init ( void );
void system_Configure ( libvlc_int_t *, int, const char *const [] );
-void system_End ( void );
-
+#ifdef WIN32
+void system_End(void);
+size_t EnumClockSource( vlc_object_t *, const char *, char ***, char *** );
+#endif
void vlc_CPU_init(void);
void vlc_CPU_dump(vlc_object_t *);
void vlc_trace (const char *fn, const char *file, unsigned line);
#define vlc_backtrace() vlc_trace(__func__, __FILE__, __LINE__)
-#if defined (LIBVLC_USE_PTHREAD) && !defined (NDEBUG)
+#if (defined (LIBVLC_USE_PTHREAD) || defined(__ANDROID__)) && !defined (NDEBUG)
void vlc_assert_locked (vlc_mutex_t *);
#else
# define vlc_assert_locked( m ) (void)m