1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_ARM_XEN_HYPERVISOR_H
3 #define _ASM_ARM_XEN_HYPERVISOR_H
5 #include <linux/init.h>
7 extern struct shared_info
*HYPERVISOR_shared_info
;
8 extern struct start_info
*xen_start_info
;
10 /* Lazy mode for batching updates / context switch */
11 enum paravirt_lazy_mode
{
17 static inline enum paravirt_lazy_mode
paravirt_get_lazy_mode(void)
19 return PARAVIRT_LAZY_NONE
;
22 extern const struct dma_map_ops
*xen_dma_ops
;
25 void __init
xen_early_init(void);
27 static inline void xen_early_init(void) { return; }
30 #ifdef CONFIG_HOTPLUG_CPU
31 static inline void xen_arch_register_cpu(int num
)
35 static inline void xen_arch_unregister_cpu(int num
)
40 #endif /* _ASM_ARM_XEN_HYPERVISOR_H */