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