1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _XEN_XEN_H 3 #define _XEN_XEN_H 4 5 enum xen_domain_type { 6 XEN_NATIVE, /* running on bare hardware */ 7 XEN_PV_DOMAIN, /* running in a PV domain */ 8 XEN_HVM_DOMAIN, /* running in a Xen hvm domain */ 9 }; 10 11 #ifdef CONFIG_XEN 12 extern enum xen_domain_type xen_domain_type; 13 #else 14 #define xen_domain_type XEN_NATIVE 15 #endif 16 17 #ifdef CONFIG_XEN_PVH 18 extern bool xen_pvh; 19 #else 20 #define xen_pvh 0 21 #endif 22 23 #define xen_domain() (xen_domain_type != XEN_NATIVE) 24 #define xen_pv_domain() (xen_domain_type == XEN_PV_DOMAIN) 25 #define xen_hvm_domain() (xen_domain_type == XEN_HVM_DOMAIN) 26 #define xen_pvh_domain() (xen_pvh) 27 28 #ifdef CONFIG_XEN_DOM0 29 #include <xen/interface/xen.h> 30 #include <asm/xen/hypervisor.h> 31 32 #define xen_initial_domain() (xen_domain() && \ 33 xen_start_info && xen_start_info->flags & SIF_INITDOMAIN) 34 #else /* !CONFIG_XEN_DOM0 */ 35 #define xen_initial_domain() (0) 36 #endif /* CONFIG_XEN_DOM0 */ 37 38 #endif /* _XEN_XEN_H */ 39