arch/i386/xen/xen-ops.h

   1 #ifndef XEN_OPS_H
   2 #define XEN_OPS_H
   3
   4 #include <linux/init.h>
   5 #include <linux/clocksource.h>
   6
   7 DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu);
   8 DECLARE_PER_CPU(unsigned long, xen_cr3);
   9
  10 extern struct start_info *xen_start_info;
  11 extern struct shared_info *HYPERVISOR_shared_info;
  12
  13 char * __init xen_memory_setup(void);
  14 void __init xen_arch_setup(void);
  15 void __init xen_init_IRQ(void);
  16
  17 unsigned long xen_cpu_khz(void);
  18 void __init xen_time_init(void);
  19 unsigned long xen_get_wallclock(void);
  20 int xen_set_wallclock(unsigned long time);
  21 cycle_t xen_clocksource_read(void);
  22
  23 void xen_mark_init_mm_pinned(void);
  24
  25 DECLARE_PER_CPU(enum paravirt_lazy_mode, xen_lazy_mode);
  26
  27 static inline unsigned xen_get_lazy_mode(void)
  28 {
  29         return x86_read_percpu(xen_lazy_mode);
  30 }
  31
  32
  33 #endif /* XEN_OPS_H */