1/* SPDX-License-Identifier: GPL-2.0 */
 2#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#ifdef CONFIG_XEN
11void __init xen_early_init(void);
12#else
13static inline void xen_early_init(void) { return; }
14#endif
15
16#ifdef CONFIG_HOTPLUG_CPU
17static inline void xen_arch_register_cpu(int num)
18{
19}
20
21static inline void xen_arch_unregister_cpu(int num)
22{
23}
24#endif
25
26#endif /* _ASM_ARM_XEN_HYPERVISOR_H */

 
 1#ifndef _ASM_ARM_XEN_HYPERVISOR_H
 2#define _ASM_ARM_XEN_HYPERVISOR_H
 3
 4#include <linux/init.h>
 5
 6extern struct shared_info *HYPERVISOR_shared_info;
 7extern struct start_info *xen_start_info;
 8
 9/* Lazy mode for batching updates / context switch */
10enum paravirt_lazy_mode {
11	PARAVIRT_LAZY_NONE,
12	PARAVIRT_LAZY_MMU,
13	PARAVIRT_LAZY_CPU,
14};
15
16static inline enum paravirt_lazy_mode paravirt_get_lazy_mode(void)
17{
18	return PARAVIRT_LAZY_NONE;
19}
20
21extern struct dma_map_ops *xen_dma_ops;
22
23#ifdef CONFIG_XEN
24void __init xen_early_init(void);
25#else
26static inline void xen_early_init(void) { return; }
27#endif
28
29#ifdef CONFIG_HOTPLUG_CPU
30static inline void xen_arch_register_cpu(int num)
31{
32}
33
34static inline void xen_arch_unregister_cpu(int num)
35{
36}
37#endif
38
39#endif /* _ASM_ARM_XEN_HYPERVISOR_H */