1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3 * Copyright (C) 2012 - 2014 Cisco Systems
4 * Copyright (C) 2000 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
5 */
6
7 #ifndef __TIMER_INTERNAL_H__
8 #define __TIMER_INTERNAL_H__
9 #include <linux/list.h>
10 #include <asm/bug.h>
11 #include <shared/timetravel.h>
12
13 #define TIMER_MULTIPLIER 256
14 #define TIMER_MIN_DELTA 500
15
16 #ifdef CONFIG_UML_TIME_TRAVEL_SUPPORT
17 struct time_travel_event {
18 unsigned long long time;
19 void (*fn)(struct time_travel_event *d);
20 struct list_head list;
21 bool pending, onstack;
22 };
23
24 void time_travel_sleep(void);
25
26 static inline void
27 time_travel_set_event_fn(struct time_travel_event *e,
28 void (*fn)(struct time_travel_event *d))
29 {
30 e->fn = fn;
31 }
32
33 void __time_travel_propagate_time(void);
34
35 static inline void time_travel_propagate_time(void)
36 {
37 if (time_travel_mode == TT_MODE_EXTERNAL)
38 __time_travel_propagate_time();
39 }
40
41 void __time_travel_wait_readable(int fd);
42
43 static inline void time_travel_wait_readable(int fd)
44 {
45 if (time_travel_mode == TT_MODE_EXTERNAL)
46 __time_travel_wait_readable(fd);
47 }
48
49 void time_travel_add_irq_event(struct time_travel_event *e);
50 void time_travel_add_event_rel(struct time_travel_event *e,
51 unsigned long long delay_ns);
52 bool time_travel_del_event(struct time_travel_event *e);
53 #else
54 struct time_travel_event {
55 };
56
57 static inline void time_travel_sleep(void)
58 {
59 }
60
61 /* this is a macro so the event/function need not exist */
62 #define time_travel_set_event_fn(e, fn) do {} while (0)
63
64 static inline void time_travel_propagate_time(void)
65 {
66 }
67
68 static inline void time_travel_wait_readable(int fd)
69 {
70 }
71
72 static inline void time_travel_add_irq_event(struct time_travel_event *e)
73 {
74 WARN_ON(1);
75 }
76
77 /*
78 * not inlines so the data structure need not exist,
79 * cause linker failures
80 */
81 extern void time_travel_not_configured(void);
82 #define time_travel_add_event_rel(...) time_travel_not_configured()
83 #define time_travel_del_event(...) time_travel_not_configured()
84 #endif /* CONFIG_UML_TIME_TRAVEL_SUPPORT */
85
86 /*
87 * Without CONFIG_UML_TIME_TRAVEL_SUPPORT this is a linker error if used,
88 * which is intentional since we really shouldn't link it in that case.
89 */
90 void time_travel_ndelay(unsigned long nsec);
91 #endif /* __TIMER_INTERNAL_H__ */
92
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.