vdo_initialize_thread_registry
vdo_initialize_thread_registry(&allocating_threads);
vdo_initialize_thread_registry(&device_id_thread_registry);
void vdo_initialize_thread_registry(struct thread_registry *registry);