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