blob: 2982571f7cc1ba568111ab9e04d99d9104fa7fc4 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
Marc Zyngier2fbadc32016-12-02 14:19:35 +00002#ifndef _ASM_ARM_XEN_HYPERVISOR_H
3#define _ASM_ARM_XEN_HYPERVISOR_H
4
5#include <linux/init.h>
6
7extern struct shared_info *HYPERVISOR_shared_info;
8extern struct start_info *xen_start_info;
9
10/* Lazy mode for batching updates / context switch */
11enum paravirt_lazy_mode {
12 PARAVIRT_LAZY_NONE,
13 PARAVIRT_LAZY_MMU,
14 PARAVIRT_LAZY_CPU,
15};
16
17static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void)
18{
19 return PARAVIRT_LAZY_NONE;
20}
21
Bart Van Assche52997092017-01-20 13:04:01 -080022extern const struct dma_map_ops *xen_dma_ops;
Marc Zyngier2fbadc32016-12-02 14:19:35 +000023
24#ifdef CONFIG_XEN
25void __init xen_early_init(void);
26#else
27static inline void xen_early_init(void) { return; }
28#endif
29
30#ifdef CONFIG_HOTPLUG_CPU
31static inline void xen_arch_register_cpu(int num)
32{
33}
34
35static inline void xen_arch_unregister_cpu(int num)
36{
37}
38#endif
39
40#endif /* _ASM_ARM_XEN_HYPERVISOR_H */