27 lines · c
1/* SPDX-License-Identifier: GPL-2.0 */2#ifndef _ASM_ARM_XEN_HYPERVISOR_H3#define _ASM_ARM_XEN_HYPERVISOR_H4 5#include <linux/init.h>6 7extern struct shared_info *HYPERVISOR_shared_info;8extern struct start_info *xen_start_info;9 10#ifdef CONFIG_XEN11void __init xen_early_init(void);12#else13static inline void xen_early_init(void) { return; }14#endif15 16#ifdef CONFIG_HOTPLUG_CPU17static inline void xen_arch_register_cpu(int num)18{19}20 21static inline void xen_arch_unregister_cpu(int num)22{23}24#endif25 26#endif /* _ASM_ARM_XEN_HYPERVISOR_H */27