Symbol: deliver_time_travel_irqs