| /* 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; | |
| /* Lazy mode for batching updates / context switch */ | |
| enum paravirt_lazy_mode { | |
| PARAVIRT_LAZY_NONE, | |
| PARAVIRT_LAZY_MMU, | |
| PARAVIRT_LAZY_CPU, | |
| }; | |
| static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void) | |
| { | |
| return PARAVIRT_LAZY_NONE; | |
| } | |
| extern const struct dma_map_ops *xen_dma_ops; | |
| #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 */ |