Symbol: dock_hotplug_event