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/* Lazy mode for batching updates / context switch */
11enum paravirt_lazy_mode {
12	PARAVIRT_LAZY_NONE,
13	PARAVIRT_LAZY_MMU,
14	PARAVIRT_LAZY_CPU,
15};
16
17static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void)
18{
19	return PARAVIRT_LAZY_NONE;
20}
21
22#ifdef CONFIG_XEN
23void __init xen_early_init(void);
24#else
25static inline void xen_early_init(void) { return; }
26#endif
27
28#ifdef CONFIG_HOTPLUG_CPU
29static inline void xen_arch_register_cpu(int num)
30{
31}
32
33static inline void xen_arch_unregister_cpu(int num)
34{
35}
36#endif
37
38#endif /* _ASM_ARM_XEN_HYPERVISOR_H */