Searched refs:XEN_PV_DOMAIN (Results 1 – 3 of 3) sorted by relevance
7 XEN_PV_DOMAIN, /* running in a PV domain */ enumerator24 #define xen_pv_domain() (xen_domain_type == XEN_PV_DOMAIN)
58 case XEN_PV_DOMAIN: in guest_type_show()
1249 xen_domain_type = XEN_PV_DOMAIN; in xen_start_kernel()