1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _XEN_XEN_H 3#define _XEN_XEN_H 4 5enum 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 12extern enum xen_domain_type xen_domain_type; 13#else 14#define xen_domain_type XEN_NATIVE 15#endif 16 17#ifdef CONFIG_XEN_PVH 18extern 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