• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 
11 #define TIMER_MULTIPLIER 256
12 #define TIMER_MIN_DELTA  500
13 
14 enum time_travel_mode {
15 	TT_MODE_OFF,
16 	TT_MODE_BASIC,
17 	TT_MODE_INFCPU,
18 	TT_MODE_EXTERNAL,
19 };
20 
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;
27 };
28 
29 extern enum time_travel_mode time_travel_mode;
30 
31 void time_travel_sleep(unsigned long long duration);
32 
33 static inline void
time_travel_set_event_fn(struct time_travel_event * e,void (* fn)(struct time_travel_event * d))34 time_travel_set_event_fn(struct time_travel_event *e,
35 			 void (*fn)(struct time_travel_event *d))
36 {
37 	e->fn = fn;
38 }
39 
40 void __time_travel_propagate_time(void);
41 
time_travel_propagate_time(void)42 static inline void time_travel_propagate_time(void)
43 {
44 	if (time_travel_mode == TT_MODE_EXTERNAL)
45 		__time_travel_propagate_time();
46 }
47 
48 void __time_travel_wait_readable(int fd);
49 
time_travel_wait_readable(int fd)50 static inline void time_travel_wait_readable(int fd)
51 {
52 	if (time_travel_mode == TT_MODE_EXTERNAL)
53 		__time_travel_wait_readable(fd);
54 }
55 
56 void time_travel_add_irq_event(struct time_travel_event *e);
57 #else
58 struct time_travel_event {
59 };
60 
61 #define time_travel_mode TT_MODE_OFF
62 
time_travel_sleep(unsigned long long duration)63 static inline void time_travel_sleep(unsigned long long duration)
64 {
65 }
66 
67 /* this is a macro so the event/function need not exist */
68 #define time_travel_set_event_fn(e, fn) do {} while (0)
69 
time_travel_propagate_time(void)70 static inline void time_travel_propagate_time(void)
71 {
72 }
73 
time_travel_wait_readable(int fd)74 static inline void time_travel_wait_readable(int fd)
75 {
76 }
77 #endif /* CONFIG_UML_TIME_TRAVEL_SUPPORT */
78 
79 /*
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.
82  */
83 void time_travel_ndelay(unsigned long nsec);
84 #endif /* __TIMER_INTERNAL_H__ */
85