| 1234567891011121314151617181920212223242526 |
- /* 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 */
|
