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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.