Lines Matching refs:vcpu_info
321 struct vcpu_info *vcpu_info = __get_cpu_var(xen_vcpu);
332 &vcpu_info->evtchn_pending_sel))
333 vcpu_info->evtchn_upcall_pending = 1;
591 struct vcpu_info *v = per_cpu(xen_vcpu, i);
640 struct vcpu_info *vcpu_info = __get_cpu_var(xen_vcpu);
646 vcpu_info->evtchn_upcall_pending = 0;
655 pending_words = xchg(&vcpu_info->evtchn_pending_sel, 0);
679 } while (count != 1 || vcpu_info->evtchn_upcall_pending);