Lines Matching refs:is_hvm_domain
1040 if ( is_hvm_domain(d) ) in __update_vcpu_system_time()
1058 if ( is_hvm_domain(d) && hvm_tsc_scaling_supported ) in __update_vcpu_system_time()
1083 if ( is_hvm_domain(d) ) in __update_vcpu_system_time()
1153 if ( is_hvm_domain(d) ) in update_domain_rtc()
1162 if ( is_hvm_domain(d) ) in domain_set_time_offset()
2008 if ( !is_hvm_domain(d) ) in gtime_to_gtsc()
2022 if ( !is_hvm_domain(d) ) in gtsc_to_gtime()
2073 bool enable_tsc_scaling = is_hvm_domain(d) && in tsc_get_info()
2156 (is_hvm_domain(d) && in tsc_set_info()
2169 enable_tsc_scaling = is_hvm_domain(d) && !d->arch.vtsc && in tsc_set_info()
2186 if ( is_hvm_domain(d) ) in tsc_set_info()
2239 is_hvm_domain(d) ? "(hvm)" : "", d->arch.tsc_mode); in dump_softtsc()