1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_ARM_XEN_HYPERVISOR_H
3 #define _ASM_ARM_XEN_HYPERVISOR_H
4 
5 #include <linux/init.h>
6 
7 extern struct shared_info *HYPERVISOR_shared_info;
8 extern struct start_info *xen_start_info;
9 
10 /* Lazy mode for batching updates / context switch */
11 enum paravirt_lazy_mode {
12 	PARAVIRT_LAZY_NONE,
13 	PARAVIRT_LAZY_MMU,
14 	PARAVIRT_LAZY_CPU,
15 };
16 
paravirt_get_lazy_mode(void)17 static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void)
18 {
19 	return PARAVIRT_LAZY_NONE;
20 }
21 
22 extern const struct dma_map_ops *xen_dma_ops;
23 
24 #ifdef CONFIG_XEN
25 void __init xen_early_init(void);
26 #else
xen_early_init(void)27 static inline void xen_early_init(void) { return; }
28 #endif
29 
30 #ifdef CONFIG_HOTPLUG_CPU
xen_arch_register_cpu(int num)31 static inline void xen_arch_register_cpu(int num)
32 {
33 }
34 
xen_arch_unregister_cpu(int num)35 static inline void xen_arch_unregister_cpu(int num)
36 {
37 }
38 #endif
39 
40 #endif /* _ASM_ARM_XEN_HYPERVISOR_H */
41