Lines Matching refs:evtchn_upcall_pending
493 * need to be marked into the vcpu_info (and evtchn_upcall_pending set).
532 WRITE_ONCE(vi->evtchn_upcall_pending, 1);
544 WRITE_ONCE(vi->evtchn_upcall_pending, 1);
563 * the vCPU's evtchn_upcall_pending flag is set, the IRQ is pending.
567 BUILD_BUG_ON(offsetof(struct vcpu_info, evtchn_upcall_pending) !=
568 offsetof(struct compat_vcpu_info, evtchn_upcall_pending));
570 sizeof_field(struct vcpu_info, evtchn_upcall_pending));
572 sizeof_field(struct compat_vcpu_info, evtchn_upcall_pending));
599 rc = ((struct vcpu_info *)gpc->khva)->evtchn_upcall_pending;
1630 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1);
1637 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1);