| Jeremy Fitzhardinge | 5ead97c | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 1 | #ifndef XEN_OPS_H |
| 2 | #define XEN_OPS_H |
| 3 | |
| 4 | #include <linux/init.h> |
| Jeremy Fitzhardinge | 5ead97c | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 5 | |
| 6 | DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu); |
| 7 | DECLARE_PER_CPU(unsigned long, xen_cr3); |
| 8 | |
| 9 | extern struct start_info *xen_start_info; |
| 10 | extern struct shared_info *HYPERVISOR_shared_info; |
| 11 | |
| 12 | char * __init xen_memory_setup(void); |
| 13 | void __init xen_arch_setup(void); |
| 14 | void __init xen_init_IRQ(void); |
| 15 | |
| 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); |
| Jeremy Fitzhardinge | ab55028 | 2007-07-17 18:37:05 -0700 | [diff] [blame^] | 20 | unsigned long long xen_sched_clock(void); |
| Jeremy Fitzhardinge | 5ead97c | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 21 | |
| Jeremy Fitzhardinge | f4f97b3 | 2007-07-17 18:37:05 -0700 | [diff] [blame] | 22 | void xen_mark_init_mm_pinned(void); |
| 23 | |
| Jeremy Fitzhardinge | 5ead97c | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 24 | DECLARE_PER_CPU(enum paravirt_lazy_mode, xen_lazy_mode); |
| 25 | |
| 26 | static inline unsigned xen_get_lazy_mode(void) |
| 27 | { |
| 28 | return x86_read_percpu(xen_lazy_mode); |
| 29 | } |
| 30 | |
| 31 | |
| 32 | #endif /* XEN_OPS_H */ |