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 17 static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void) 18 { 19 return PARAVIRT_LAZY_NONE; 20 } 21 22 #ifdef CONFIG_XEN 23 void __init xen_early_init(void); 24 #else 25 static inline void xen_early_init(void) { return; } 26 #endif 27 28 #ifdef CONFIG_HOTPLUG_CPU 29 static inline void xen_arch_register_cpu(int num) 30 { 31 } 32 33 static inline void xen_arch_unregister_cpu(int num) 34 { 35 } 36 #endif 37 38 #endif /* _ASM_ARM_XEN_HYPERVISOR_H */ 39