1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2 /*
3 * Copyright (C) 2012 - 2014 Cisco Systems
4 * Copyright (C) 2000 - 2007 Jeff Dike (jdike@
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_ev
28 void (*fn)(struct tim
29 {
30 e->fn = fn;
31 }
32
33 void __time_travel_propagate_time(void);
34
35 static inline void time_travel_propagate_time(
36 {
37 if (time_travel_mode == TT_MODE_EXTERN
38 __time_travel_propagate_time()
39 }
40
41 void __time_travel_wait_readable(int fd);
42
43 static inline void time_travel_wait_readable(i
44 {
45 if (time_travel_mode == TT_MODE_EXTERN
46 __time_travel_wait_readable(fd
47 }
48
49 void time_travel_add_irq_event(struct time_tra
50 void time_travel_add_event_rel(struct time_tra
51 unsigned long l
52 bool time_travel_del_event(struct time_travel_
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
62 #define time_travel_set_event_fn(e, fn) do {}
63
64 static inline void time_travel_propagate_time(
65 {
66 }
67
68 static inline void time_travel_wait_readable(i
69 {
70 }
71
72 static inline void time_travel_add_irq_event(s
73 {
74 WARN_ON(1);
75 }
76
77 /*
78 * not inlines so the data structure need not
79 * cause linker failures
80 */
81 extern void time_travel_not_configured(void);
82 #define time_travel_add_event_rel(...) time_tr
83 #define time_travel_del_event(...) time_travel
84 #endif /* CONFIG_UML_TIME_TRAVEL_SUPPORT */
85
86 /*
87 * Without CONFIG_UML_TIME_TRAVEL_SUPPORT this
88 * which is intentional since we really should
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.