vdo_initialize_device_registry_once
vdo_initialize_device_registry_once();
void vdo_initialize_device_registry_once(void);