1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2012 - 2014 Cisco Systems
4 * Copyright (C) 2000 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
7 #ifndef __TIMER_INTERNAL_H__
8 #define __TIMER_INTERNAL_H__
10 #define TIMER_MULTIPLIER 256
11 #define TIMER_MIN_DELTA 500
13 enum time_travel_mode {
19 enum time_travel_timer_mode {
25 #ifdef CONFIG_UML_TIME_TRAVEL_SUPPORT
26 extern enum time_travel_mode time_travel_mode;
27 extern unsigned long long time_travel_time;
28 extern enum time_travel_timer_mode time_travel_timer_mode;
29 extern unsigned long long time_travel_timer_expiry;
30 extern unsigned long long time_travel_timer_interval;
32 static inline void time_travel_set_time(unsigned long long ns)
34 time_travel_time = ns;
37 static inline void time_travel_set_timer_mode(enum time_travel_timer_mode mode)
39 time_travel_timer_mode = mode;
42 static inline void time_travel_set_timer_expiry(unsigned long long expiry)
44 time_travel_timer_expiry = expiry;
47 static inline void time_travel_set_timer_interval(unsigned long long interval)
49 time_travel_timer_interval = interval;
52 #define time_travel_mode TT_MODE_OFF
53 #define time_travel_time 0
54 #define time_travel_timer_expiry 0
55 #define time_travel_timer_interval 0
57 static inline void time_travel_set_time(unsigned long long ns)
61 static inline void time_travel_set_timer_mode(enum time_travel_timer_mode mode)
65 static inline void time_travel_set_timer_expiry(unsigned long long expiry)
69 static inline void time_travel_set_timer_interval(unsigned long long interval)
73 #define time_travel_timer_mode TT_TMR_DISABLED