Symbol: hotplug_event_enqueue