Searched refs:XEN_PV_DOMAIN (Results 1 – 3 of 3) sorted by relevance
9 XEN_PV_DOMAIN, /* running in a PV domain */ enumerator26 #define xen_pv_domain() (xen_domain_type == XEN_PV_DOMAIN)
61 case XEN_PV_DOMAIN: in guest_type_show()
1330 xen_domain_type = XEN_PV_DOMAIN; in xen_start_kernel()