Searched refs:XEN_PV_DOMAIN (Results 1 – 2 of 2) sorted by relevance
61 XEN_PV_DOMAIN, /* running in a PV domain */ enumerator76 return (xen_domain_type == XEN_PV_DOMAIN); in xen_pv_domain()
140 xen_domain_type = XEN_PV_DOMAIN; in hammer_time_xen()