Symbol: cleanup_hotplug_manager