time_travel_add_irq_event
time_travel_add_irq_event(ev);
void time_travel_add_irq_event(struct time_travel_event *e);
EXPORT_SYMBOL_GPL(time_travel_add_irq_event);