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 #ifdef CONFIG_XEN 11 void __init xen_early_init(void); 12 #else 13 static inline void xen_early_init(void) { return; } 14 #endif 15 16 #ifdef CONFIG_HOTPLUG_CPU 17 static inline void xen_arch_register_cpu(int num) 18 { 19 } 20 21 static inline void xen_arch_unregister_cpu(int num) 22 { 23 } 24 #endif 25 26 #endif /* _ASM_ARM_XEN_HYPERVISOR_H */ 27