64 		panic("time-travel: time goes backwards %lld -> %lld\n",  in time_travel_set_time()
85 	printk(KERN_INFO "time-travel: received broadcast 0x%llx\n", bc_message);  in _time_travel_print_bc_msg()
158 		panic("time-travel external link is broken\n");  in time_travel_handle_message()
160 		panic("invalid time-travel message - %d bytes\n", ret);  in time_travel_handle_message()
164 		WARN_ONCE(1, "time-travel: unexpected message %lld\n",  in time_travel_handle_message()
236 		panic("time-travel: ACK message has different seqno! op=%d, seq=%d != %d time=%lld\n",  in time_travel_ext_req()
313 			panic("time-travel: setting time while not running\n");  in __time_travel_propagate_time()
679 			panic("time-travel: invalid external ID in string '%s'\n",  in time_travel_connect_external()
689 		panic("time-travel: failed to connect to external socket %s\n",  in time_travel_connect_external()
766 	 * In basic time-travel mode we still get real interrupts  in timer_handler()
959 		timer_clockevent.name = "time-travel-timer-infcpu";  in setup_time_travel()
960 		timer_clocksource.name = "time-travel-clock";  in setup_time_travel()
966 		timer_clockevent.name = "time-travel-timer-external";  in setup_time_travel()
967 		timer_clocksource.name = "time-travel-clock-external";  in setup_time_travel()
973 		timer_clockevent.name = "time-travel-timer";  in setup_time_travel()
974 		timer_clocksource.name = "time-travel-clock";  in setup_time_travel()
981 __setup("time-travel", setup_time_travel);
983 "time-travel\n"
984 "This option just enables basic time travel mode, in which the clock/timers\n"
990 "time-travel=inf-cpu\n"
991 "This enables time travel mode with infinite processing power, in which there\n"
997 "time-travel=ext:[ID:]/path/to/socket\n"
998 "This enables time travel mode similar to =inf-cpu, except the system will\n"
1017 __setup("time-travel-start=", setup_time_travel_start);
1019 "time-travel-start=<nanoseconds>\n"