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 #include <linux/types.h> 29 30 extern uint32_t xen_start_flags; 31 32 #ifdef CONFIG_XEN_DOM0 33 #include <xen/interface/xen.h> 34 #include <asm/xen/hypervisor.h> 35 36 #define xen_initial_domain() (xen_domain() && \ 37 (xen_start_flags & SIF_INITDOMAIN)) 38 #else /* !CONFIG_XEN_DOM0 */ 39 #define xen_initial_domain() (0) 40 #endif /* CONFIG_XEN_DOM0 */ 41 42 #endif /* _XEN_XEN_H */ 43