| 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> |
| 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 | DECLARE_PER_CPU(enum paravirt_lazy_mode, xen_lazy_mode); |
| 24 | |
| 25 | static inline unsigned xen_get_lazy_mode(void) |
| 26 | { |
| 27 | return x86_read_percpu(xen_lazy_mode); |
| 28 | } |
| 29 | |
| 30 | |
| 31 | #endif /* XEN_OPS_H */ |