1 #ifndef __XEN_CPU_CLOCK_H__
2 #define __XEN_CPU_CLOCK_H__
4 struct vcpu_runstate_info *setup_runstate_area(unsigned int cpu);
5 void get_runstate_snapshot(struct vcpu_runstate_info *);
7 unsigned long long xen_local_clock(void);
8 void xen_check_wallclock_update(void);
10 #ifdef CONFIG_GENERIC_CLOCKEVENTS
11 void xen_clockevents_init(void);
12 void xen_setup_cpu_clockevents(void);
13 void xen_clockevents_resume(void);
15 static inline void xen_setup_cpu_clockevents(void) {}
16 static inline void xen_clockevents_resume(void) {}
19 #endif /* __XEN_CPU_CLOCK_H__ */