/* SPDX-License-Identifier: GPL-2.0 */#ifndef _ASM_ARM_XEN_HYPERVISOR_H#define _ASM_ARM_XEN_HYPERVISOR_H #include <linux/init.h> extern struct shared_info *HYPERVISOR_shared_info;extern struct start_info *xen_start_info; #ifdef CONFIG_XENvoid __init xen_early_init(void);#elsestatic inline void xen_early_init(void) { return; }#endif #ifdef CONFIG_HOTPLUG_CPUstatic inline void xen_arch_register_cpu(int num){} static inline void xen_arch_unregister_cpu(int num){}#endif #endif /* _ASM_ARM_XEN_HYPERVISOR_H */