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