vdo_initialize_thread_device_registry
vdo_initialize_thread_device_registry();
void vdo_initialize_thread_device_registry(void);