4 #include <linux/init.h>
6 DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu);
7 DECLARE_PER_CPU(unsigned long, xen_cr3);
9 extern struct start_info *xen_start_info;
10 extern struct shared_info *HYPERVISOR_shared_info;
12 char * __init xen_memory_setup(void);
13 void __init xen_arch_setup(void);
14 void __init xen_init_IRQ(void);
16 unsigned long xen_cpu_khz(void);
17 void __init xen_time_init(void);
18 unsigned long xen_get_wallclock(void);
19 int xen_set_wallclock(unsigned long time);
20 unsigned long long xen_sched_clock(void);
22 void xen_mark_init_mm_pinned(void);
24 DECLARE_PER_CPU(enum paravirt_lazy_mode, xen_lazy_mode);
26 static inline unsigned xen_get_lazy_mode(void)
28 return x86_read_percpu(xen_lazy_mode);
32 #endif /* XEN_OPS_H */