Searched refs:XEN_PV_DOMAIN (Results 1 – 2 of 2) sorted by relevance
6 XEN_PV_DOMAIN, /* running in a PV domain */ enumerator18 xen_domain_type == XEN_PV_DOMAIN)
1528 xen_domain_type = XEN_PV_DOMAIN; in xen_start_kernel()