thread_registry
static struct thread_registry allocating_threads;
static struct thread_registry device_id_thread_registry;
void vdo_initialize_thread_registry(struct thread_registry *registry)
void vdo_register_thread(struct thread_registry *registry,
void vdo_unregister_thread(struct thread_registry *registry)
const void *vdo_lookup_thread(struct thread_registry *registry)
void vdo_initialize_thread_registry(struct thread_registry *registry);
void vdo_register_thread(struct thread_registry *registry,
void vdo_unregister_thread(struct thread_registry *registry);
const void *vdo_lookup_thread(struct thread_registry *registry);