Lines Matching refs:vcpu_info
491 * On event channel delivery, the vcpu_info may not have been accessible.
493 * need to be marked into the vcpu_info (and evtchn_upcall_pending set).
512 while (!kvm_gpc_check(gpc, sizeof(struct vcpu_info))) {
515 if (kvm_gpc_refresh(gpc, sizeof(struct vcpu_info)))
521 /* Now gpc->khva is a valid kernel address for the vcpu_info */
523 struct vcpu_info *vi = gpc->khva;
567 BUILD_BUG_ON(offsetof(struct vcpu_info, evtchn_upcall_pending) !=
570 sizeof_field(struct vcpu_info, evtchn_upcall_pending));
575 while (!kvm_gpc_check(gpc, sizeof(struct vcpu_info))) {
589 if (kvm_gpc_refresh(gpc, sizeof(struct vcpu_info))) {
592 * vcpu_info mapping. No interrupts for you.
599 rc = ((struct vcpu_info *)gpc->khva)->evtchn_upcall_pending;
724 BUILD_BUG_ON(sizeof(struct vcpu_info) !=
726 BUILD_BUG_ON(offsetof(struct vcpu_info, time) !=
736 data->u.gpa, sizeof(struct vcpu_info));
1603 * *real* evtchn_pending_sel in its own guest vcpu_info struct.
1612 /* Now switch to the vCPU's vcpu_info to set the index and pending_sel */
1617 if (!kvm_gpc_check(gpc, sizeof(struct vcpu_info))) {
1619 * Could not access the vcpu_info. Set the bit in-kernel
1628 struct vcpu_info *vcpu_info = gpc->khva;
1629 if (!test_and_set_bit(port_word_bit, &vcpu_info->evtchn_pending_sel)) {
1630 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1);
1634 struct compat_vcpu_info *vcpu_info = gpc->khva;
1636 (unsigned long *)&vcpu_info->evtchn_pending_sel)) {
1637 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1);