um_irq_timetravel_handler_used
if (!um_irq_timetravel_handler_used())
if (timetravel_handlers_only && !um_irq_timetravel_handler_used())
if (um_irq_timetravel_handler_used()) {