Lines Matching refs:is_hvm_domain
195 if ( is_hvm_domain(d) ) in dump_pageframe_info()
345 if ( is_hvm_domain(d) ) in vcpu_initialise()
400 if ( is_hvm_domain(d) ) in emulation_flags_ok()
473 d->domain_id, is_hvm_domain(d) ? "HVM" : "PV", emflags); in arch_domain_create()
487 if ( is_hvm_domain(d) ) in arch_domain_create()
528 if ( is_hvm_domain(d) ) in arch_domain_create()
581 if ( is_hvm_domain(d) ) in arch_domain_destroy()
632 if ( !is_hvm_domain(d) ) in arch_domain_soft_reset()
830 if ( (flags & VGCF_in_kernel) || is_hvm_domain(d)/*???*/ ) in arch_set_info_guest()
875 if ( is_hvm_domain(d) ) in arch_set_info_guest()
1696 if ( is_hvm_domain(prevd) && !list_empty(&prev->arch.hvm_vcpu.tm_list) ) in context_switch()
1714 is_hvm_domain(prevd) || in context_switch()
1961 if ( is_hvm_domain(d) ) in domain_relinquish_resources()
2015 if ( is_hvm_domain(d) ) in domain_relinquish_resources()