]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
2fbadc30 MZ |
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 | /* Lazy mode for batching updates / context switch */ | |
11 | enum paravirt_lazy_mode { | |
12 | PARAVIRT_LAZY_NONE, | |
13 | PARAVIRT_LAZY_MMU, | |
14 | PARAVIRT_LAZY_CPU, | |
15 | }; | |
16 | ||
17 | static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void) | |
18 | { | |
19 | return PARAVIRT_LAZY_NONE; | |
20 | } | |
21 | ||
5299709d | 22 | extern const struct dma_map_ops *xen_dma_ops; |
2fbadc30 MZ |
23 | |
24 | #ifdef CONFIG_XEN | |
25 | void __init xen_early_init(void); | |
26 | #else | |
27 | static inline void xen_early_init(void) { return; } | |
28 | #endif | |
29 | ||
30 | #ifdef CONFIG_HOTPLUG_CPU | |
31 | static inline void xen_arch_register_cpu(int num) | |
32 | { | |
33 | } | |
34 | ||
35 | static inline void xen_arch_unregister_cpu(int num) | |
36 | { | |
37 | } | |
38 | #endif | |
39 | ||
40 | #endif /* _ASM_ARM_XEN_HYPERVISOR_H */ |