include/xen/clock.h

   1 #ifndef __XEN_CPU_CLOCK_H__
   2 #define __XEN_CPU_CLOCK_H__
   3
   4 void setup_runstate_area(unsigned int cpu);
   5
   6 unsigned long long xen_local_clock(void);
   7 void xen_check_wallclock_update(void);
   8
   9 #ifdef CONFIG_GENERIC_CLOCKEVENTS
  10 void xen_clockevents_init(void);
  11 void xen_setup_cpu_clockevents(void);
  12 void xen_clockevents_resume(void);
  13 #else
  14 static inline void xen_setup_cpu_clockevents(void) {}
  15 static inline void xen_clockevents_resume(void) {}
  16 #endif
  17
  18 #endif /* __XEN_CPU_CLOCK_H__ */