This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / include / xen / xen-ops.h
blob03c85d7387fb7be265dad680dd50ba13b5425341
1 #ifndef INCLUDE_XEN_OPS_H
2 #define INCLUDE_XEN_OPS_H
4 #include <linux/percpu.h>
6 DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu);
8 void xen_arch_pre_suspend(void);
9 void xen_arch_post_suspend(int suspend_cancelled);
10 void xen_arch_hvm_post_suspend(int suspend_cancelled);
12 void xen_mm_pin_all(void);
13 void xen_mm_unpin_all(void);
15 void xen_timer_resume(void);
16 void xen_arch_resume(void);
18 int xen_setup_shutdown_event(void);
20 extern unsigned long *xen_contiguous_bitmap;
21 int xen_create_contiguous_region(unsigned long vstart, unsigned int order,
22 unsigned int address_bits);
24 void xen_destroy_contiguous_region(unsigned long vstart, unsigned int order);
26 int xen_remap_domain_mfn_range(struct vm_area_struct *vma,
27 unsigned long addr,
28 unsigned long mfn, int nr,
29 pgprot_t prot, unsigned domid);
31 #endif /* INCLUDE_XEN_OPS_H */