| /* 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_XEN |
| void __init xen_early_init(void); |
| #else |
| static inline void xen_early_init(void) { return; } |
| #endif |
| |
| #ifdef CONFIG_HOTPLUG_CPU |
| static inline void xen_arch_register_cpu(int num) |
| { |
| } |
| |
| static inline void xen_arch_unregister_cpu(int num) |
| { |
| } |
| #endif |
| |
| #endif /* _ASM_ARM_XEN_HYPERVISOR_H */ |
