12fbadc30SMarc Zyngier #ifndef _ASM_ARM_XEN_HYPERVISOR_H 22fbadc30SMarc Zyngier #define _ASM_ARM_XEN_HYPERVISOR_H 32fbadc30SMarc Zyngier 42fbadc30SMarc Zyngier #include <linux/init.h> 52fbadc30SMarc Zyngier 62fbadc30SMarc Zyngier extern struct shared_info *HYPERVISOR_shared_info; 72fbadc30SMarc Zyngier extern struct start_info *xen_start_info; 82fbadc30SMarc Zyngier 92fbadc30SMarc Zyngier /* Lazy mode for batching updates / context switch */ 102fbadc30SMarc Zyngier enum paravirt_lazy_mode { 112fbadc30SMarc Zyngier PARAVIRT_LAZY_NONE, 122fbadc30SMarc Zyngier PARAVIRT_LAZY_MMU, 132fbadc30SMarc Zyngier PARAVIRT_LAZY_CPU, 142fbadc30SMarc Zyngier }; 152fbadc30SMarc Zyngier 162fbadc30SMarc Zyngier static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void) 172fbadc30SMarc Zyngier { 182fbadc30SMarc Zyngier return PARAVIRT_LAZY_NONE; 192fbadc30SMarc Zyngier } 202fbadc30SMarc Zyngier 212fbadc30SMarc Zyngier extern struct dma_map_ops *xen_dma_ops; 222fbadc30SMarc Zyngier 232fbadc30SMarc Zyngier #ifdef CONFIG_XEN 242fbadc30SMarc Zyngier void __init xen_early_init(void); 252fbadc30SMarc Zyngier #else 262fbadc30SMarc Zyngier static inline void xen_early_init(void) { return; } 272fbadc30SMarc Zyngier #endif 282fbadc30SMarc Zyngier 292fbadc30SMarc Zyngier #ifdef CONFIG_HOTPLUG_CPU 302fbadc30SMarc Zyngier static inline void xen_arch_register_cpu(int num) 312fbadc30SMarc Zyngier { 322fbadc30SMarc Zyngier } 332fbadc30SMarc Zyngier 342fbadc30SMarc Zyngier static inline void xen_arch_unregister_cpu(int num) 352fbadc30SMarc Zyngier { 362fbadc30SMarc Zyngier } 372fbadc30SMarc Zyngier #endif 382fbadc30SMarc Zyngier 392fbadc30SMarc Zyngier #endif /* _ASM_ARM_XEN_HYPERVISOR_H */ 40