vdo_initialize_threads_mutex
vdo_initialize_threads_mutex();
void vdo_initialize_threads_mutex(void);