vdo_lookup_thread
return vdo_lookup_thread(&allocating_threads) != NULL;
pointer = vdo_lookup_thread(&device_id_thread_registry);
const void *vdo_lookup_thread(struct thread_registry *registry);