Lines Matching refs:is_pv_domain
458 if ( is_hardware_domain(d) && is_pv_domain(d) ) in arch_domain_create()
482 is_pv_domain(d) ? __HYPERVISOR_COMPAT_VIRT_START : ~0u; in arch_domain_create()
594 if ( is_pv_domain(d) ) in arch_domain_destroy()
779 if ( is_pv_domain(d) ) in arch_set_info_guest()
860 if ( is_pv_domain(d) ) in arch_set_info_guest()
867 if ( is_pv_domain(d) ) in arch_set_info_guest()
978 is_pv_domain(d) && !is_pv_32bit_domain(d) && in arch_set_info_guest()
1581 return is_pv_domain(d) && !is_idle_domain(d); in need_full_gdt()
1712 if ( is_pv_domain(nextd) && in context_switch()
1725 if ( is_pv_domain(nextd) ) in context_switch()
1935 if ( is_pv_domain(d) ) in domain_relinquish_resources()