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__
9 #include <linux/list.h>
11 #define TIMER_MULTIPLIER 256
12 #define TIMER_MIN_DELTA 500
14 enum time_travel_mode {
21 #ifdef CONFIG_UML_TIME_TRAVEL_SUPPORT
22 struct time_travel_event {
23 unsigned long long time;
24 void (*fn)(struct time_travel_event *d);
25 struct list_head list;
26 bool pending, onstack;
29 extern enum time_travel_mode time_travel_mode;
31 void time_travel_sleep(unsigned long long duration);
34 time_travel_set_event_fn(struct time_travel_event *e,
35 void (*fn)(struct time_travel_event *d))
40 void __time_travel_propagate_time(void);
42 static inline void time_travel_propagate_time(void)
44 if (time_travel_mode == TT_MODE_EXTERNAL)
45 __time_travel_propagate_time();
48 void __time_travel_wait_readable(int fd);
50 static inline void time_travel_wait_readable(int fd)
52 if (time_travel_mode == TT_MODE_EXTERNAL)
53 __time_travel_wait_readable(fd);
56 void time_travel_add_irq_event(struct time_travel_event *e);
58 struct time_travel_event {
61 #define time_travel_mode TT_MODE_OFF
63 static inline void time_travel_sleep(unsigned long long duration)
67 /* this is a macro so the event/function need not exist */
68 #define time_travel_set_event_fn(e, fn) do {} while (0)
70 static inline void time_travel_propagate_time(void)
74 static inline void time_travel_wait_readable(int fd)
77 #endif /* CONFIG_UML_TIME_TRAVEL_SUPPORT */
80 * Without CONFIG_UML_TIME_TRAVEL_SUPPORT this is a linker error if used,
81 * which is intentional since we really shouldn't link it in that case.
83 void time_travel_ndelay(unsigned long nsec);
84 #endif /* __TIMER_INTERNAL_H__ */