Lines Matching refs:sampling
197 struct vcpu *sampled = current, *sampling; in vpmu_do_interrupt() local
209 sampling = choose_hwdom_vcpu(); in vpmu_do_interrupt()
210 if ( !sampling ) in vpmu_do_interrupt()
214 sampling = sampled; in vpmu_do_interrupt()
216 vpmu = vcpu_vpmu(sampling); in vpmu_do_interrupt()
221 if ( !has_vlapic(sampling->domain) || (vpmu_mode & XENPMU_MODE_ALL) ) in vpmu_do_interrupt()
235 vpmu->arch_vpmu_ops->arch_vpmu_save(sampling, 1); in vpmu_do_interrupt()
243 if ( sampled == sampling ) in vpmu_do_interrupt()
250 if ( is_pv_32bit_vcpu(sampling) ) in vpmu_do_interrupt()
277 is_hardware_domain(sampling->domain) ) in vpmu_do_interrupt()
312 if ( is_hardware_domain(sampling->domain) ) in vpmu_do_interrupt()
322 send_guest_vcpu_virq(sampling, VIRQ_XENPMU); in vpmu_do_interrupt()
328 vlapic = vcpu_vlapic(sampling); in vpmu_do_interrupt()
331 ASSERT(sampling == sampled); in vpmu_do_interrupt()
345 sampling->nmi_pending = 1; in vpmu_do_interrupt()